Search for dissertations about: "Model development safety"
Showing result 1 - 5 of 323 swedish dissertations containing the words Model development safety.
-
1. Towards Model-Based Development of Self-Managing Automotive Systems : Modeling, Simulation, Model Transformations and Algorithms: Supporting the Development of the DySCAS Middleware
Abstract : With the increased usage of electronics, embedded computer systems, software and networks in modern vehicles, the complexity is also increasing in terms of the development process, functionalities as well as their implementation. On one hand there is a need for efficient and systematic development, and on the other hand the systems are required to have enhanced post-deployment time configuration management support. READ MORE
-
2. The GMOC Model : Supporting Development of Systems for Human Control
Abstract : Train traffic control is a complex task in a dynamic environment. Different actors have to cooperate to meet strong requirements regarding safety, punctuality, capacity utilization, energy consumption, and more. The GMOC model has been developed and utilized in a number of studies in several different areas. READ MORE
-
3. Traffic Simulation Modelling of Rural Roads and Driver Assistance Systems
Abstract : Microscopic traffic simulation has proven to be a useful tool for analysis of varioustraffic systems. This thesis consider microscopic traffic simulation of rural roads andthe use of traffic simulation for evaluation of driver assistance systems. READ MORE
-
4. Tool Integration and Safety : A Foundation for Analysing the Impact of Tool Integrationon Non-functional Properties
Abstract : The increasing complexity of embedded systems development is becoming difficult to handle with development environments based on disjoint engineering tools. Support for interactions between various engineering tools, especially through automated means, has therefore received an increased amount of attention during the last few years. READ MORE
-
5. !secure(system) <=?=> !safe(system) : On Security and Safety of Industrial Software Systems
Abstract : The focus of our research work is on readily accessible, embedded, real-time development with concurrency support. To this end, we develop the Real-Time For the Masses (RTFM) programming framework with a model of computation based on tasks and resources and that stipulates a timing semantics. READ MORE