2011 Publications

From AadlWiki

Jump to: navigation, search

Contents

SAE IJA 2011

2011 Ward, D. and Helton, S., Estimating Return on Investment for SAVI (a Model-Based Virtual Integration Process), SAE Int. J. Aerosp. 4(2):934-943, 2011. Video presentation.

COMPSAC 2011

Ying Wang, Dianfu Ma, Yongwang Zhao, Lu Zou and Xianqi Zhao. An AADL-Based Modeling Method for ARINC653-Based Avionics Software, In COMPSAC '11 Proceedings of the 2011 IEEE 35th Annual Computer Software and Applications Conference. ACM link: http://dl.acm.org/citation.cfm?id=2056801

ISCI 2011

Jianhua Xu, Yun Li, Yang Meng - Research and implementation of ARINC653 configuration tool based on AADL, In Computers & Informatics (ISCI), 2011 IEEE Symposium on - IEEExplore link: http://ieeexplore.ieee.org/xpl/articleDetails.jsp?reload=true&arnumber=5958962&contentType=Conference+Publications

HICSS Evensen 2011

Ken Evensen (JPL), Reducing Uncertainty in Architectural Decisions with AADL, In Proceedings of the 44th Hawaii International Conference on System Sciences, Jan 2011.

ModelME Selig 2011

Razieh Behjati, Tao Yue, Shiva Nejati, Lionel Briand and Bran Selic, An AADL-Based SysML Profile for Architecture Level Systems Engineering: Approach, Metamodels, and Experiments, Simula Research Laboratory, ModelME Technical Report 2011-03, Feb 2011.

ICECCS Rubini 2011

Stephane Rubini, Frank Singhoff, Jerome Hugues, Modeling and verification of memory architectures with AADL and REAL, 6th international workshop on AADL and UML. In the proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, Las Vegas, USA, 27th April 2011. Pages 338-343.

ISORC Lasnier 2011

Lasnier, Gilles and Pautet, Laurent and Hugues, Jérôme A Model-based transformation process to validate and implement high-integrity systems. In: 14th IEEE International Symposium on Object/component/service-oriented Real-time distributed computing - ISORC 2011, 28-31 March 2011, Newport Beach, USA.

MobileHealth Ghosh 2011

Ghosh A., Hui Y.-K., Chiang M., Model-Based Architecture Analysis for Wireless Healthcare. in MobileHealth 2011 Workshop, May 2011.

AeroTech Dissaux 2011

P. Dissaux, J. Legrand, V. Gaudel, A. Plantec, S. Rubini and F. Singhoff. AADL Real-time design-pattern Automatic Recognition. In: SAE 2011 AeroTech Congress, October 2011, Toulouse, France.

SIGAda Gaudel 2011

V. Gaudel, F. Singhoff, A. Plantec, S. Rubini, P. Dissaux, J. Legrand. An Ada design pattern recognition tool for AADL performance analysis. In: ACM SIGAda Ada Letters, volume 31, number 3, pages 61-68. ACM New York, USA, November 2011, ISSN:1094-3641. Also published in the proceedings of the international ACM SIGAda conference, Denver, Colorado, USA.

ICECCS Lasnier 2011

Gilles Lasnier, Lutz Wrage, Jerome Hugues and Laurent Pautet: An Implementation of the Behavior Annex in the AADL-toolset Osate2 , 6th international workshop on AADL and UML. In the proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, Las Vegas, USA, 27th April 2011.

ICECCS Yang 2011

Zhibin Yang, Kai Hu, Jean-Paul Bodeveix, Lei Pi, Dianfu Ma and Jean-Pierre Talpin. Two Formal Semantics of a Subset of the AADL , 6th international workshop on AADL and UML. In the proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, Las Vegas, USA, 27th April 2011.

ICECCS Khoroshilov 2011

Alexey Khoroshilov, Igor Koverninskiy, Alexander Petrenko and Alexender Ugnenko. Integrating AADL-based Tool Chain into Existing Industrial Processes , 6th international workshop on AADL and UML. In the proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, Las Vegas, USA, 27th April 2011.

ICECCS Björnander 2011

Stefan Björnander, Cristina Seceleanu, Kristina Lundqvist and Paul Pettersson. ABV – A Verifier for the Architecture Analysis and Description Language (AADL) , 6th international workshop on AADL and UML. In the proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, Las Vegas, USA, 27th April 2011.

ICECCS Hecht 2011

Myron Hecht, Alexander Lam and Chris Vogl. A Tool Set for Integrated Software and Hardware Dependability Analysis Using the Architecture Analysis and Design Language (AADL) and Error Model Annex , 6th international workshop on AADL and UML. In the proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, Las Vegas, USA, 27th April 2011.

AeroTech Gheorghe 2011

Serban Gheorghe. Integrating Formal Model Checking with the RTEdge™ AADL Microkernel. In: SAE 2011 AeroTech Congress, October 2011, Toulouse, France.

AeroTech Delange 2011

Julien Delange and Jérôme Hugues. Incremental Modeling and Validation of Space Mission Using AADLv2. In: SAE 2011 AeroTech Congress, October 2011, Toulouse, France.

AVICPS Hugues 2011

Jérôme Hugues. Analytic virtual integration of cyber-physical systems & AADL: challenges, threats and opportunities. (2011) In: The Second Analytic Virtual Integration of Cyber-Physical Systems Workshop. , 29 Nov 2011, Vienna, Austria.

Personal tools