Essays about: "AADL"

Showing result 1 - 5 of 6 essays containing the word AADL.

  1. 1. Survey of Modelling Formalisms for MISRA-C:1998 Software Architecture Modelling

    University essay from KTH/Maskinkonstruktion (Inst.)

    Author : Joakim Gustavsson; [2016]
    Keywords : ;

    Abstract : 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. READ MORE

  3. 2. A Maintainability Analysis of Dependability Evaluation of an Avionic System using  AADL to PNML Transformation

    University essay from Blekinge Tekniska Högskola/Institutionen för programvaruteknik

    Author : Qaiser Mehmood; [2016]
    Keywords : AADL; PNML; Dependability evaluation; Maintainability analysis;

    Abstract : 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. READ MORE

  4. 3. Simulation of Safety-Critical Systems Specified in AADL

    University essay from Akademin för innovation, design och teknik

    Author : Boyan Sheytanov; [2012]
    Keywords : model transformation; software; simulation; AADL; Java; safety-critical systems; real-time systems;

    Abstract : 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. READ MORE

  5. 4. Automated Architecture-Based Verification of Safety-Critical Systems

    University essay from Mälardalens högskola/Akademin för innovation, design och teknik

    Author : Omar Tawffeeq Saleem Jaradat; [2011]
    Keywords : architecture-based verification; software-intensive systems; uppaal; modelling and verification; aadl; Fuel Level Estimation System;

    Abstract : 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. READ MORE

  6. 5. Explicating Critical Assumptions in Software Architectures Using AADL

    University essay from IT-universitetet i Göteborg/Tillämpad informationsteknologi

    Author : Hamed Ordibehesht; [2010-09-24]
    Keywords : assumption management; assumption modeling; assumption meta-model; software architecture; AADL; assumption awareness; traceability; implicit assumption; explicit assumption; architectural assumptions;

    Abstract : 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. READ MORE