This content is not included in
your SAE MOBILUS subscription, or you are not logged in.
AADLib, A Library of Reusable AADL Models
Technical Paper
2013-01-2179
ISSN: 0148-7191, e-ISSN: 2688-3627
Annotation ability available
Sector:
Language:
English
Abstract
The SAE Architecture Analysis and Design Language is now a well-established language for the description of critical embedded systems, but also cyber-physical ones. A wide range of analysis tools is already available, either as part of the OSATE tool chain, or separate ones.
A key missing elements of AADL is a set of reusable building blocks to help learning AADL concepts, but also experiment already existing tool chains on validated real-life examples.
In this paper, we present AADLib, a library of reusable model elements. AADLib is build on two pillars: 1/ a set of ready-to-use examples so that practitioners can learn more about the AADL language itself, but also experiment with existing tools. Each example comes with a full description of available analysis and expected results. This helps reducing the learning curve of the language. 2/ a set of reusable model elements that cover typical building blocks of critical systems: processors, networks, devices with a high level of fidelity so that the cost to start a new project is reduced.
AADLib is distributed under a Free/Open Source License to further disseminate the AADL language. As such, AADLib provides a convenient way to discover AADL concepts and tool chains, and learn about its features.
Recommended Content
Authors
Citation
Hugues, J., "AADLib, A Library of Reusable AADL Models," SAE Technical Paper 2013-01-2179, 2013, https://doi.org/10.4271/2013-01-2179.Also In
References
- OMG A UML Profile for MARTE, version 1.1 OMG June 2011
- OMG OMG Systems Modeling Language (OMG SysML) OMG June 2010
- SAE International Aerospace Standard Architecture Analysis and Design Language (AADL) SAE Standard AS5506A Jan. 2009
- Faugere Madeleine , Bourbeau Thimothee , de Simone Robert , and Gerard Sebastien Marte: Also an UML profile for modeling AADL applications Engineering of Complex Computer Systems, IEEE International Conference on 0 359 364 2007
- Farail P. , Gaufillet P. , Canals A. , Le Camus C. , Sciamma D. , Michel P. , Crégut X. , and Pantel M. TOPCASED : An Open Source Development Environment for Embedded Systems Chapter 11, From MDD Concepts to Experiments and Illus- trations ISTE 195 207 September 2006
- SEI. OSATE An extensible Source AADL Tool Environment SEI AADL Team technical Report December 2004
- Dissaux P. Using the AADL for mission critical software development 2nd European Congress ERTS, EMBEDDED REAL TIME SOFTWARE Toulouse January 2004
- Gilles Olivier and Hugues Jerome Expressing and enforcing user-defined constraints of AADL models Proceedings of the 5th UML& AADL Workshop (UML&AADL 2010) 337 342 University of Oxford UK March 2010
- Yang Zhibin , Hu Kai , Bodeveix Jean-Paul , Pi Lei , Ma Dianfu , and Talpin Jean-Pierre Two formal semantics of a subset of the aadl Perseil et al. 344 349
- Ölveczky Peter Csaba , Boronat Artur , and Meseguer José Formal semantics and analysis of behavioral aadl models in real-time maude Hatcliff John and Zucca Elena FMOODS/FORTE , volume 6117 of Lecture Notes in Computer Science 47 62 Springer 2010
- Sokolsky O. , Lee I. , and Clark D. Schedulability Analysis of AADL models International Parallel and Distributed Processing Symposium, IPDPS 2006 April 2006
- Singhoff F. , Plantec A. , Dissaux P. , and Legrand J. Investigating the usability of real-time scheduling theory with the Cheddar project Journal of Real-Time Systems Springer Verlag 43 3 259 295 November 2009
- Bozzano Marco , Cimatti Alessandro , Katoen Joost-Pieter , Nguyen Viet Yen , Noll Thomas , and Roveri Marco The com- pass approach: Correctness, modelling and performability of aerospace systems Proceedings of the 28th International Conference on Computer Safety, Reliability, and Security , SAFECOMP '09 173 186 Berlin, Heidelberg 2009 Springer-Verlag
- Rugina Ana-Elena , Kanoun Karama , and Kaâniche Mohamed The adapt tool: From aadl architectural models to stochastic petri nets through model transformation EDCC 85 90 IEEE Computer Society 2008
- Hecht Myron , Lam Alexander , and Vogl Chris A tool set for integrated software and hardware dependability analysis using the architecture analysis and design language (aadl) and error model annex Perseil et al. 361 366
- Delange Julien , Pautet Laurent , and Kordon Fabrice Design, Verification and Implementation of MILS systems Proceedings of the 21th International Symposium on Rapid System Prototyping 1 8 Fairfax June 2010 IEEE Computer Society MoVe INT LIP6
- Hansson Jorgen , Lewis Bruce , Hugues Jerome , Wrage Lutz , Feiler Peter , and Morley John Model-Based Verification of Security and Non-Functional Behavior using AADL IEEE Security & Privacy 8 1 43 49 January 2010
- Gilles Olivier and Hugues Jérôme Towards Model- based optimisations of Real-Time systems, an application with the AADL 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2009) Pekin, Chine August 2009
- Feiler Peter H. Efficient embedded runtime systems through port communication optimization ICECCS 294 300 IEEE Computer Society 2008
- de Niz Dionisio and Feiler Peter H. On resource allocation in architectural models ISORC 291 297 IEEE Computer Society 2008
- Renault Xavier , Kordon Fabrice , and Hugues Jerome Adapt- ing models to model checkers, a case study : Analysing AADL using Time or Colored Petri Nets IEEE/IFIP 20th International Sypmosium on Rapid System Prototyping Paris, France June 2009
- Pi Lei , Bodeveix Jean-Paul , and Filali Mamoun Modeling aadl data communication with bip Kordon Fabrice and Kermarrec Yvon Ada-Europe , volume 5570 of Lecture Notes in Computer Science 192 206 Springer 2009
- Chkouri Mohamed Yassin , Robert Anne , Bozga Marius , and Sifakis Joseph Translating aadl into bip - application to the verification of real-time systems Chaudron Michel R. V. MoDELS Workshops , volume 5421 of Lecture Notes in Computer Science 5 19 Springer 2008
- Berthomieu Bernard , Garavel Hubert , Lang Frédéric , and Vernadat François Verifying dynamic properties of indus- trial critical systems using topcased/fiacre ERCIM News 2008 75 2008
- Ölveczky Peter Csaba , Boronat Artur , and Meseguer José Formal semantics and analysis of behavioral aadl models in real-time maude Hatcliff John and Zucca Elena FMOODS/FORTE , volume 6117 of Lecture Notes in Computer Science 47 62 Springer 2010
- Gilles Olivier and Hugues Jerome Applying WCET analysis at architectural level Worst-Case Execution Time (WCET'08) 113 122 Prague, Czech Republic July 2008
- Nam Min-Young , Pellizzoni Rodolfo , Sha Lui , and Bradford Richard M. Asiist: Application specific i/o integration support tool for real-time bus architecture designs ICECCS 11 22 IEEE Computer Society 2009
- Lasnier Gilles , Zalila Bechir , Pautet Laurent , and Hugues Jérôme OCARINA: An Environment for AADL Models Analysis and Automatic Code Generation for High Integrity Applications Reliable Software Technologies'09 - Ada Europe , volume LNCS 237 250 Brest, France June 2009
- Bodeveix Jean-Paul , Cavallero Raphaël , Chemouil David , Filali Mamoun , and Rolland Jean-François A mapping from aadl to java-rtsj Bollella Gregory JTRES , ACM International Conference Proceeding Series 165 174 ACM 2007
- Varona-Gomez Roberto and Villar Eugenio Aadl simulation and performance analysis in systemc Proceedings of the 2009 14th IEEE International Conference on Engineering of Complex Computer Systems , ICECCS '09 323 328 Washington, DC, USA 2009 IEEE Computer Society
- Ma Yue , Yu Huafeng , Gautier Thierry , Talpin Jean-Pierre , Besnard Loïc , and Le Guernic Paul System Synthesis from AADL using Polychrony Electronic System Level Synthesis Conference San Diego, California États-Unis June 2011
- Jahier Erwan , Halbwachs Nicolas , Raymond Pascal , Nicollin Xavier , and Lesens David Virtual Execution of AADL Models via a Translation into Synchronous Programs Proceedings of the 7th ACM & IEEE international conference on Embedded software 134 143 Salzburg, Autriche 2007 ASSERT
- Conquet Eric , Perrotin Maxime , Dissaux Pierre , Tsiodras Thanassis , and Hugues Jerome The TASTE Toolset: turning human designed heterogeneous systems into computer built homogeneous software Proceedings of Embedded Real Time Software and Systems 2010 Toulouse, France May 2010
- Feiler Peter , Hansson Joergen , and de Niz Dioniio System Architecture Virtual Integration: An Industrial Case Study Technical report Software Engineering Institue, Carnegie Mellon University 2009
- Khoroshilov Alexey V. , Koverninskiy Igor , Pe-trenko Alexandre , and Ugnenko Alexander Integrating aadl-based tool chain into existing industrial processes Perseil et al. 367 371
- Delange Julien , Hugues Jerome , Pautet Laurent , and odeNiz Diosisi AMDE-basedProcessfortheDesign, Implementa- tion and Validation of Safety Critical Systems Proceedings of the 5th UML& AADL Workshop (UML&AADL 2010) 319 324 University of Oxford UK March 2010
- Behjati Razieh , Yue Tao , Nejati Shiva , Briand Lionel , and Selic Bran An aadl-based sysml profile for architecture level systems engineering: Approach, metamodels, and ex- periments Technical Report 2011-03 Simula Research Lab-oratory 2011
- Allen Robert , Vestal Steve , Cornhill Dennis , and Lewis Bruce Using an architecture description language for quantitative analysis of real-time systems Proceedings of the 3rd international workshop on Software and performance , WOSP '02 203 210 New York, NY, USA 2002 ACM