2010 Publications

From AadlWiki

Jump to: navigation, search

Contents

AVICPS Redman 2010

David Redman, Donald Ward, John Chilenski and Greg Pollari, Virtual Integration for Improved System Design, Proceedings of The First Analytic Virtual Integration of Cyber-Physical Systems Workshop in conjunction with RTSS 2010.

MODELS Shiraishi 2010

Shin'ichi Shiraishi, An AADL-based approach to variability modeling of automotive control systems, MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems.

ICFEM Meseguer 2010

Jose Meseguer, Peter Csaba Olveczky, Formalization and correctness of the PALS architectural pattern for distributed real-time systems. Proceedings of ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering.

MSThesis Peterson 2010

R.S. Peterson, Testing real-time requirements for integrated systems, Masters Thesis, University of Twente, Aug 2010.

FMOODS Meseguer 2010

Peter Csaba Olveczky, Artur Boronat, and Jose Meseguer, Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude. FMOODS/FORTE 2010, LNCS 6117, pp. 47–62, 2010.

GSAW Hecht 2010

Alex Lam, Myron Hecht, and Chris Vogl, Quantitative Architectural Modeling and Analysis Using AADL, Proceedings of 2010 Ground Systems Architectures Workshop, March 2010.

RSP Delange 2010

J. Delange, L. Pautet, F. Kordon, Design, Verification and Implementation of MILS systems. 21st IEEE International Symposium on Rapid System Prototyping (RSP 2010), June 2010.

ERTS Perrotin 2010

M.Perrotin, E. Conquet, P. Dissaux, T. Tsiodras, J. Hugues, The TASTE Toolset: turning human designed heterogeneous systems into computer built homogeneous software. Embedded Real-time Software and Systems Conference (ERTS2010), May 2010.

ERTS Dissaux 2010

Pierre Dissaux, Jérôme Legrand,Alain Plantec, Mickael Kerboeuf, Frank Singhoff, AADL Design-Patterns and Tools for Modelling and Performance Analysis of Real-Time systems Embedded Real-time Software and Systems Conference (ERTS2010), May 2010.

ERTS Raghav 2010

Gopal Raghav, Swaminathan Gopalswamy, Karthikeyan Radhakrishnan, Jérôme Hugues, Julien Delange, Model Based Code Generation for Distributed Embedded Systems Embedded Real-time Software and Systems Conference (ERTS2010), May 2010.

ERTS Feiler 2010

P. Feiler, L. Wrage, J. Hansson, System Architecture Virtual Integration: A Case Study Embedded Real-time Software and Systems Conference (ERTS2010), May 2010.

ERTS Correa 2010

T. Correa, L.B. Becker, J.-P. Bodeveix, J.-M Farinesx, M. Filali, F. Vernadat, Verification Based Development Process for Embedded Systems Embedded Real-time Software and Systems Conference (ERTS2010), May 2010.

ERTS Bozzano 2010

M. Bozzano, R. Cavada, A. Cimatti, J.-P. Katoen, V.Y. Nguyen, T. Noll, X. Olive, Formal Verification and Validation of AADL Models Embedded Real-time Software and Systems Conference (ERTS2010), May 2010.

ERTS Berthomieu 2010

B. Berthomieu, J.-P. Bodeveix, S. Dal Zilio, P. Dissaux, M. Filali, P. Gaufillet, S. Heim, F. Vernadat, Formal Verification of AADL models with Fiacre and Tina Embedded Real-time Software and Systems Conference (ERTS2010), May 2010.

ERTS Delange 2010

Julien Delange, Laurent Pautet, Fabrice Kordon, Modeling and Validation of ARINC653 architectures Embedded Real-time Software and Systems Conference (ERTS2010), May 2010.

ISORC Lasnier 2010

G. Lasnier, T. Robert, L. Pautet, F. Kordon, Architectural and Behavioral Modeling with AADL for Fault Tolerant Embedded Systems, 13th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC'10), IEEE Computer Society, May 2010.

ICECCS Delange 2010

Julien Delange, Laurent Pautet, Jérôme Hugues, Dionisio de Niz, An MDE-based Process for the Design, Implementation and Validation of Safety-Critical Systems, Proceedings of 14th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS09), UML&AADL Workshop, March 2010.

ICECCS Filali 2010

T. Correa, L.B Becker, J-M Farines, J-P.Bodeveix, M.Filali, F.Vernadat, Supporting the Design of Safety Critical Systems Using AADL, Proceedings of 14th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS09), UML&AADL Workshop, March 2010.

ICECCS Gilles 2010

O. Gilles, J. Hugues, Expressing and Enforcing User-Defined Constraints of AADL Models, Proceedings of 14th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS09), UML&AADL Workshop, March 2010.

ICECCS Kerboeuf 2010

Kerboeuf, M. Plantec, A. Singhoff, F. Schach, A. Dissaux, P., [Comparison of Six Ways to Extend the Scope of Cheddar to AADL v2 with Osate Comparison of Six Ways to Extend the Scope of Cheddar to AADL v2 with Osate], Proceedings of 14th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS09), UML&AADL Workshop, March 2010.

ICECCS Varona-Gomez 2010

Varona-Gómez, R. Villar, E., AADS+: AADL Simulation Including the Behavioral Annex, Proceedings of 14th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS09), UML&AADL Workshop, March 2010.

ICECCS Perseil 2010

Perseil I., Pautet L., From MARTE to AADL with a Seamless Process, Proceedings of 14th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS09), UML&AADL Workshop, March 2010.

IEEE Aerospace Feiler 2010

Peter H. Feiler, “Model-based Validation of Safety-Critical Embedded Systems”, Proceedings of IEEE Aerospace Conference, March 2010.

This paper discusses how root cause areas of system-level software-induced failures can be investigated through AADL-based analysis.

IEEE S&P Hansson 2010

Hansson, J; Lewis, B; Hugues, J; Wrage, L; Feiler, P; Morley, J., | Model-Based Verification of Security and Non-Functional Behavior using AADL, IEEE Security & Privacy, Page(s): 1-1, Jan 2010.

This paper focuses on integrating security models into AADL.

ABSTRACT: Modeling of system quality attributes, including security, is often done with low fidelity software models and disjointed architectural specifications by various engineers using their own specialized notations. These models are typically not maintained or documented throughout the life cycle and make it difficult to obtain a system view. However, a single-source architecture model of the system that is annotated with analysis-specific information allows changes to the architecture to be reflected in the various analysis models with little effort. We describe how model-based development using the Architecture Analysis and Design Language (AADL) and compatible analysis tools provides the platform for multi-dimensional, multi-fidelity analysis and verification. A special emphasis is given to analysis approaches using Bell-LaPadula, Biba, and MILS approaches to security and that enable a system designer to exercise various architectural design options for confidentiality and data integrity prior to system realization.

DACS Feiler 2010

Toward Model-Based Embedded System Validation through Virtual Integration by Feiler & Hansson in DACS SoftwareTech Jan 2010.

A short summary article on the AVSI SAVI Proof-Of-Concept Project.

SEI Technology Highlight 2010

AADL and Model-Based Engineering as a SEI Research & Technology Highlight in the area of dependability through model-based engineering with AADL. Jan 2010.

JSS Li 2010

Juncao Li, Nicholas T. Pilkington, Fei Xie, Qiang Liu, Embedded architecture description language, The Journal of Systems and Software 83 (2010) 235–252.

This paper presents an embedded architecture description language for HW/SW co-design and considers AADL closely related.

ISOLA Plantec 2010

A. Plantec, F. Singhoff, P. Dissaux and J. Legrand. Enforcing applicability of Real-time Scheduling Theory Feasibility Tests with the use of Design-Patterns. 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2010). 18-20 October 2010. Amirandes, Heraklion, Crete. Greece. Lecture Notes on Computer Science/LNCS. Volume 6415. Pages 4-17.

Personal tools