Sökning: "aadl"
Visar resultat 1 - 5 av 6 uppsatser innehållade ordet aadl.
1. Survey of Modelling Formalisms for MISRA-C:1998 Software Architecture Modelling
Master-uppsats, KTH/Maskinkonstruktion (Inst.)Sammanfattning : The complexity of electrical and electronic automotivesystems have increased steadily over the previous decades, with modern vehicles containing as many as 50-70 Elec-tronic Control Units, and several CAN-communication net-works. In order to address the increasing complexity of these safety-critical embedded systems, safety standards such as ISO 26262 are making their way to the market, posing strong restrictions on the development process of automotive systems in order to ensure safety. LÄS MER
2. A Maintainability Analysis of Dependability Evaluation of an Avionic System using AADL to PNML Transformation
Master-uppsats, Blekinge Tekniska Högskola/Institutionen för programvaruteknikSammanfattning : Context.In the context of Software Architecture, AADL (ArchitectureAnalysis and Design Language) is one of the latest standards (SAE StandardAS5506) used for analyzing and designing of architectures of software sys-tems. LÄS MER
3. Simulation of Safety-Critical Systems Specified in AADL
Master-uppsats, Akademin för innovation, design och teknikSammanfattning : Safety-critical software intensive systems are used in a lot of industries nowadays. Examples ofthese are in automotive and aircraft industry, medicine, and autonomous systems. Fault in suchsystems can lead to severe damage and/or loss of human lives. LÄS MER
4. Automated Architecture-Based Verification of Safety-Critical Systems
Master-uppsats, Mälardalens högskola/Akademin för innovation, design och teknikSammanfattning : Safety-critical systems require high quality and dependability levels, where system correctness and safety are major features to avoid any severe outcome. Time and cost are also important challenges that are imposed during the development process. LÄS MER
5. Explicating Critical Assumptions in Software Architectures Using AADL
D-uppsats, IT-universitetet i Göteborg/Tillämpad informationsteknologiSammanfattning : Developers make assumptions constantly at different levels and throughout software development lifecycles. Implicit assumptions made during higher development levels, such as in architecture design, have major impacts which lead to systems failures and poor performances according to research findings. LÄS MER