NDLI: Validate, simulate, and implement ARINC653 systems using the AADL

Please wait, while we are loading the content...

An ada retrospective: developing large, mature, reliable systems

An introduction to the C# language and .NET infrastructure

Open source development of a safety critical dual redundant (Ada95/C++) signal control program environment (SCOPE)

Validate, simulate, and implement ARINC653 systems using the AADL

Embedded systems engineering with the AADL: modeling & analysis

"Automatic Prototype Generating" restated with re-ADA: perspective-bridged architecture for document-driven systems transitioning

SPARK: the libre language and toolset for high-assurance software engineering

On using Ada to solve problems in computational economics and related disciplines with concurrent, multiagent algorithms

Unmanned systems and Ada

Experience in integrating interchangeable scheduling policies into a distribution middleware for Ada

Ada for real-time and parallel processing

Dynamic analysis of branch mispredictions in Ada

Service oriented architecture (SOA) concepts and implementations

Echo: a new approach to formal verification based on Ada

Embedded, hard, real-time systems with Ada

Use of SPARK in a resource constrained embedded system

Multi-language programming with Ada

A robotics API dialect for type-safe robots: translating Myro to Ada

Working towards DO-178C/ED-12C, DO-248C/ED-94C, and DO-278A/ED109A

Complementing Ada with other programming languages

Distributed container: a design pattern for fault tolerance and high speed data exchange

A look at Ada from both sides now (a government, and a defense contractor perspective)

Georegistration of imagery from unmanned aircraft systems using Ada

The new semantic model in ASIS for Ada 2005

Validate, simulate, and implement ARINC653 systems using the AADL

Content Provider	ACM Digital Library
Author	Singhoff, Frank Kordon, Fabrice Delange, Julien Pautet, Laurent Plantec, Alain Kerboeuf, Mickael
Abstract	Safety-critical systems are widely used in different domains and lead to an increasing complexity. Such systems rely on specific services such space and time isolation as in the ARINC653 avionics standard. Their criticality requires a carefully driven design based on an appropriate development process and dedicated tools to detect and avoid problems as early as possible. Model Driven Engineering (MDE) approaches are now considered as valuable approach for building safety-critical systems. The Architecture Analysis and Design Language (AADL) proposes a component-based language suitable to operate MDE that fits with safety-critical systems needs. This paper presents an approach for the modeling, verification and implementation of ARINC653 systems using AADL. It details a modeling approach exploiting the new features of AADL version 2 for the design of ARINC653 architectures. It also proposes modeling patterns to represent other safety mechanisms such as the use of Ravenscar for critical applications. This approach is fully backed by tools with Ocarina (AADL toolsuite), POK (AADL/ARINC653 runtime) and Cheddar (scheduling verification). Thus, it assists system engineers to simulate and validate non functional requirements such as scheduling or resources dimensioning.
Starting Page	31
Ending Page	44
Page Count	14
File Format	PDF
ISBN	9781605584751
DOI	10.1145/1647420.1647435
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2009-11-01
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Code generation Simulation Cheddar Aadl Model based engineering Arinc653 Pok Schedulability Ocarina
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Validate, simulate, and implement ARINC653 systems using the AADL

Validate, Simulate and Implement ARINC653 Systems using the AADL

Validate, simulate and implement arinc653 systems using the aadl.

Modeling and Validation of ARINC653 architectures

APECS code synthesis: Extending ocarina for multi-threaded code synthesis from AADL models for Safety Critical applications

Automatic RT-Java Code Generation from AADL Models for ARINC653-Based Avionics Software

Validate implementation correctness using simulation: the TASTE approach

An AADL-Based Modeling Method for ARINC653-Based Avionics Software

Model driven code generation for critical and adaptative embedded systems

Validate, simulate, and implement ARINC653 systems using the AADL

Similar Documents

Validate, simulate, and implement ARINC653 systems using the AADL

Validate, Simulate and Implement ARINC653 Systems using the AADL

Validate, simulate and implement arinc653 systems using the aadl.

Modeling and Validation of ARINC653 architectures

APECS code synthesis: Extending ocarina for multi-threaded code synthesis from AADL models for Safety Critical applications

Automatic RT-Java Code Generation from AADL Models for ARINC653-Based Avionics Software

Validate implementation correctness using simulation: the TASTE approach

An AADL-Based Modeling Method for ARINC653-Based Avionics Software

Model driven code generation for critical and adaptative embedded systems

Validate, simulate, and implement ARINC653 systems using the AADL