Sökning: "Safety-Critical Systems"
Visar resultat 11 - 15 av 162 avhandlingar innehållade orden Safety-Critical Systems.
11. Assurance Aware Contract-based Design for Safety-critical Systems
Sammanfattning : Safety-critical systems are those systems whose malfunctioning can result in harm or loss of human life, or damage to property or the environment. Such systems usually need to comply with a domain-specific safety standard, which often require a safety case in form of an explained argument supported by evidence to show that the system is acceptably safe to operate in a given context. LÄS MER
12. Design methods for safety critical automotive architectures
Sammanfattning : .... LÄS MER
13. Distributed computing and safety critical systems in Ada
Sammanfattning : A system architecture for building large distributed real-time systems is presented. By placing the core run-time system (RTS) functionality in a edicatednetwork node, called the controller, distribution of a single Ada 83 program with preservation of the tasking semantics is possible. LÄS MER
14. Specifying Safety-Critical Heterogeneous Systems Using Contracts Theory
Sammanfattning : Requirements engineering (RE) is a well-established practice that is also emphasized in safety standards such as IEC 61508 and ISO 26262. Safety standards advocate a particularly stringent RE where requirements must be structured in an hierarchical manner in accordance with the system architecture; at each level, requirements must be allocated to heterogeneous (SW, HW, mechanical, electrical, etc. LÄS MER
15. On Securing Vehicular Communications: Methods and Recommendations for Secure In-vehicle and Car2X Communications
Sammanfattning : Today's vehicles contain approximately more than 100 interconnected computers (ECUs), several of which will be connected to the Internet or external devices and networks around the vehicle. In the near future vehicles will extensively communicate with their environment via Vehicle to Vehicle and Vehicle to Infrastructure (together called V2X) communications. LÄS MER