| 1. |
- Duracz, Adam, 1981-, et al.
(författare)
-
Using Rigorous Simulation to Support ISO 26262 Hazard Analysis and Risk Assessment
- 2015
-
Ingår i: 2015 IEEE 12th International Conference on Embedded Software and Systems (ICESS). - Piscataway, N.J. : IEEE Press. ; , s. 1093-1096
-
Konferensbidrag (refereegranskat)abstract
- Rigorous simulation is a new technology that can play a key role in managing uncertainty in the design of safety-critical cyber-physical systems. One of its important applications is the analysis and evaluation of functional safety for road vehicles according to international standards such as ISO 26262. Previous work presented preliminary evidence to support the feasibility of using rigorous simulation for this purpose. Here we report on advances in our implementation of rigorous simulation and show how they enable the rigorous simulation of more refined and more complete models. A larger case study highlights the benefits of these advances and helps us identify new challenges that should be addressed by future work. © 2015 IEEE.
|
|
| 2. |
- Eriksson, Per-Erik, et al.
(författare)
-
Managing short-term efficiency and long-term development through industrialized construction
- 2014
-
Ingår i: Construction Management and Economics. - Abingdon, Oxon : Informa UK Limited. - 0144-6193 .- 1466-433X. ; 32:1-2, s. 97-108
-
Tidskriftsartikel (refereegranskat)abstract
- There is a strong need for a productive and innovative infrastructure sector because of its monetary value and importance for the development of a sustainable society. An increased level of industrialization is often proposed as a way to improve efficiency and productivity in construction projects. In prior literature on industrialized construction, there are however neither many studies addressing more long-term aspects of innovation and sustainability nor studies within the infrastructure context. Organizational theory suggests that firms need to be ambidextrous and focus on both long-term exploration of new knowledge and technologies and short-term exploitation of current knowledge and technologies, in order to achieve sustainable development. Therefore, an investigation of how both short-term exploitative performance objectives and long-term explorative development can be addressed when implementing industrialized construction in infrastructure projects was conducted. A case study consisting of four infrastructure projects shows that the main drivers for increased industrialization are of an exploitative nature, focusing on cost savings and increased productivity through more efficient processes. The main barriers to increased industrialization are however related to both explorative and exploitative activities. Hence, by managing the identified barriers and explicitly addressing both exploitation and exploration, industrialized construction can improve both short-term efficiency and long-term innovation and sustainability.
|
|
| 3. |
- Masood, Jawad, 1982-, et al.
(författare)
-
Domain analysis for standardised functional safety : A case study on design-time verification of automatic emergency braking
- 2014
-
Ingår i: FISITA 2014 World Automotive Congress - Proceedings. - Hague : FISITA. ; , s. 845-854
-
Konferensbidrag (refereegranskat)abstract
- Simulation traditionally computes individual trajectories, which severely limits the assessment of overall system behaviour. To address this fundamental shortcoming, we rely on computing enclosures to determine bounds on system behaviour instead of individual traces. In the present case study, we investigate the enclosures of a generic Automatic Emergency Braking (AEB) system and demonstrate how this creates a direct link between requirement specification and standardized safety criteria as put forward by ISO 26262. The case study strongly supports that a methodology based on enclosures can provide a missing link across the engineering process, from design to compliance testing. This result is highly relevant for ongoing efforts to virtualize testing and create a unified tool-chain for the development of next generation Advanced Driver Assistance Systems.
|
|
| 4. |
- Taha, Walid, 1972-, et al.
(författare)
-
Acumen : An Open-source Testbed for Cyber-Physical Systems Research
- 2016
-
Ingår i: Internet of Things. IoT Infrastructures. - Heidelberg : Springer. - 9783319470627 - 9783319470634 ; , s. 118-130
-
Konferensbidrag (refereegranskat)abstract
- Developing Cyber-Physical Systems requires methods and tools to support simulation and verification of hybrid (both continuous and discrete) models. The Acumen modeling and simulation language is an open source testbed for exploring the design space of what rigorous-but-practical next-generation tools can deliver to developers of Cyber-Physical Systems. Like verification tools, a design goal for Acumen is to provide rigorous results. Like simulation tools, it aims to be intuitive, practical, and scalable. However, it is far from evident whether these two goals can be achieved simultaneously.This paper explains the primary design goals for Acumen, the core challenges that must be addressed in order to achieve these goals, the "agile research method" taken by the project, the steps taken to realize these goals, the key lessons learned, and the emerging language design. © ICST Institute for Computer Sciences, Social Informatics and Telecommunications Engineering 2016.
|
|
| 5. |
- Vedder, Benjamin, 1987-, et al.
(författare)
-
Towards Collision Avoidance for Commodity Hardware Quadcopters with Ultrasound Localization
- 2015
-
Ingår i: 2015 International Conference on Unmanned Aircraft Systems (ICUAS). - [S.l.] : IEEE. - 9781479960095 - 9781479960101 ; , s. 193-203
-
Konferensbidrag (refereegranskat)abstract
- We present a quadcopter platform built with commodity hardware that is able to do localization in GNSS-denied areas and avoid collisions by using a novel easy-to-setup and inexpensive ultrasound-localization system. We address the challenge to accurately estimate the copter's position and not hit any obstacles, including other, moving, quadcopters. The quadcopters avoid collisions by placing contours that represent risk around static and dynamic objects and acting if the risk contours overlap with ones own comfort zone. Position and velocity information is communicated between the copters to make them aware of each other. The shape and size of the risk contours are continuously updated based on the relative speed and distance to the obstacles and the current estimated localization accuracy. Thus, the collision-avoidance system is autonomous and only interferes with human or machine control of the quadcopter if the situation is hazardous. In the development of this platform we used our own simulation system using fault-injection (sensor faults, communication faults) together with automatically-generated tests to identify problematic scenarios for which the localization and risk contour parameters had to be adjusted. In the end, we were able to run thousands of simulations without any collisions, giving us confidence that also many real quadcopters can manoeuvre collision free in space-constrained GNSS-denied areas. ©2015 IEEE.
|
|
