2009 Publications

From AadlWiki

Jump to: navigation, search

Contents

RTSS Mohan 2009

Sibin Mohan, Min-Young Nam, Rodolfo Pellizoni , Lui Sha, Richard Bradford and Shana Fliginger, Rapid Early-Phase Virtual Integration, Proceedings of the 30th IEEE Real-Time Systems Symposium (RTSS 2009), Dec 2009.

SigAda Delange 2009

Julien Delange, Laurent Pautet , Alain Plantec, Mickael Kerboeuf, Frank Singhoff, Fabrice Kordon, "Validate, Simulate, and Implement ARINC653 Systems using the AADL", ACM’s Annual International Conference on Ada and Related Technologies, Nov 2009.

SAE AeroTech Delange 2009

Julien Delange, Olivier Gilles, Jérôme Hugues, Laurent Pautet, “Model-Based Engineering for the Development of ARINC653 Architectures”, Proceedings of SAE International AeroTech Congress, Nov 2009.

SAE AeroTech Feiler 2009

Peter H. Feiler, “Challenges in Validating Safety-Critical Embedded Systems”, Proceedings of SAE International AeroTech Congress, Nov 2009.

SEI-2009-TR-017 AVSI SAVI Case Study

P. Feiler, Jörgen Hansson, Dionisio de Niz, Lutz Wrage, System Architecture Virtual Integration: An Industrial Case Study, Software Engineering Institute (SEI) Technical Report, CMU/SEI-2009-TR-017, November 2009.

A Case Study on the Use of AADL for Multi-tier Multi-fidelity Aircraft Modeling and Analysis and integrator subcontractor interaction support for the AVSI SAVI initiative.

JRTS Singhoff 2009

F. Singhoff, A. Plantec, P. Dissaux and J. Legrand. Investigating the usability of real-time scheduling theory with the Cheddar project. Journal of Real Time Systems, volume 43, number 3, pages 259-295. November 2009. Springer Verlag. ISSN:0922-6443.

CrossTalk Sha 2009

Lui Sha, Resilient Mixed-Criticality Systems, CrossTalk – The Journal of Defense Software Engineering, Oct 2009.

APRES Borde 2009

E. Borde, P. Feiler, G. Haik, L. Pautet, “A New Design Approach for Complex, Adaptive, and Critical Embedded Systems” Proceedings of Adaptive and Reconfigurable Embedded Systems 2009 (APRES 2009), Oct 2009.

ESEC Bozzano 2009

Bozzano, M., Cimatti, A., Roveri, M., Katoen, J., Nguyen, V., and Noll, T. 2009. “Verification and performance evaluation of aadl models”. In Proceedings of the 7th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering on European Software Engineering Conference and Foundations of Software Engineering Symposium (Amsterdam, The Netherlands, August 24 - 28, 2009). ESEC/FSE '09.

MODELS Chkouri 2009

Mohamed Yassin Chkouri and Marius Bozga. “Prototyping of Distributed Embedded Systems Using AADL”, The proceedings of the ACESMB 2009 workshop conjunction with MODELS 2009.

MODELS Langsweirdt 2009

Dries Langsweirdt, Yves Vandewoude and Yolande Berbers. “Towards Intelligent Tool-Support for AADL Based Modeling of Embedded Systems”, The proceedings of the ACESMB 2009 workshop conjunction with MODELS 2009.

GVSETS Raghav 2009

Gopal Raghav, Swaminathan Gopalswamy, Karthikeyan Radhakrishnan, Julien Delange, Jérôme Hugues, Architecture Driven Generation of Distributed Embedded Software from Functional Models, Proceedings of the 2009 Ground Vehicle Systems Engineering and Technology Symposium (GVSETS), 2009.

This paper discusses the extraction of AADL models from Simulink models and the auto-generation of implementations from both.

ECRTS Naeem 2009

Muhammad, Naeem, Vandewoude, Yves, Berbers, Yolande,van Loo, Sjir, “Modelling composite end-to-end flows with AADL”. Proceedings Euromicro Conference on Real-Time Systems (ECRTS 09) July 2009.

MODSIM Sioutis 2009

Sioutis, C, T. Nguyen, "[www.mssanz.org.au/modsim09/E1/sioutis.pdf Modelling Airborne Mission Systems using the Architecture Analysis and Design Language]", 18th World IMACS / MODSIM Congress, Cairns, Australia 13-17 July 2009 .

ICECCS Malavolta 2009

Ivano Malavolta, Henry Muccini, Patrizio Pelliccione, "Integrating AADL within a Multi-domain Modeling Framework," ICECCS, pp.341-346, 2009 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009.

ICECCS Feiler 2009

Peter H. Feiler, "Modeling the Implementation of State-Based System Architectures”, Proceedings of 14th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS09), UML&AADL Workshop, June 2009.

ICECCS DeNiz 2009

Dio De Niz, Peter H. Feiler, “Verification of Replication Architectures in AADL”, Proceedings of 14th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS09), UML&AADL Workshop, June 2009.

ICECCS Nam 2009

Nam, M., Pellizzoni, R., Sha, L., and Bradford, R. M. 2009. ASIIST: Application Specific I/O Integration Support Tool for Real-Time Bus Architecture Designs. In Proceedings of the 2009 14th IEEE international Conference on Engineering of Complex Computer Systems - Volume 00 (June 02 - 04, 2009). ICECCS.

ICECCS Varona-Gomez 2009

Roberto Varona-Gomez, Eugenio Villar, "AADL Simulation and Performance Analysis in SystemC", Proceedings of 14th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS09), UML&AADL Workshop, June 2009.

ICECCS Yang 2009

Lei Pi, Zhibin Yang, J-P Bodeveix, M.Filali, Kai Hu, Dianfu Ma,"A comparative study of FIACRE and TASM to define AADL real time concepts" Proceedings of 14th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS09), UML&AADL Workshop, June 2009.

ICECCS Malavolta 2009

Ivano Malavolta, Henry Muccini, and Patrizio Pelliccione, "Integrating AADL within a multi-domain modeling framework" Proceedings of 14th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS09), UML&AADL Workshop, June 2009.

ICECCS Delehaye 2009

Mathieu Delehaye, Christophe Ponsard, "Towards a Model-Driven Approach for Mapping Requirements on AADL Architecture", Proceedings of 14th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS09), UML&AADL Workshop, June 2009.

ICECCS Mallet 2009

Frédéric Mallet, Charles André, Julien DeAntoni, "Executing AADL models with UML/Marte", Proceedings of 14th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS09), UML&AADL Workshop, June 2009.

ICESS Dhouib 2009

Saadia Dhouib, Eric Senn, Jean-Philippe Diguet, Johann Laurent, Dominique Blouin, "Model Driven High-Level Power Estimation of Embedded Operating Systems Communication Services," icess, pp.475-481, 2009 International Conference on Embedded Software and Systems, 2009.

ICESS Yue 2009

Yue Ma, Jean-Pierre Talpin, Sandeep K. Shukla, Thierry Gautier, "Distributed Simulation of AADL Specifications in a Polychronous Model of Computation," ICESS 2009, pp.607-614, 2009 International Conference on Embedded Software and Systems, 2009.

ICESS Chkouri 2009

Chkouri, M. Y. and Bozga, M. 2009. “Deterministic Data Flow Communication in AADL”. In Proceedings of the 2009 international Conference on Embedded Software and Systems - Volume 00 (May 25 - 27, 2009). ICESS.

RTAS Bak 2009

Stanley Bak, Deepti K. Chivukula, Olugbemiga Adekunle, Mu Sun, Marco Caccamo, Lui Sha, "The System-Level Simplex Architecture for Improved Real-Time Embedded System Safety" pp.99-107, 2009 15th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2009

RST Delange 2009

Julien DeLange, Laurent Pautet, and Peter Feiler, “Validating safety and security requirements for partitioned architectures”, Proceedings 14th International Conference on Reliable Software Technologies (RTS2009) - Ada Europe, June 2009.

RST Bodeveix 2009

Pi, L., Bodeveix, J., and Filali, M. 2009. Modeling AADL Data Communication with BIP. In Proceedings of the 14th Ada-Europe international Conference on Reliable Software Technologies (Brest, France, June 08 - 12, 2009).

RST Berthomieu 2009

Berthomieu, B., Bodeveix, J., Chaudet, C., Zilio, S., Filali, M., and Vernadat, F. 2009. Formal Verification of AADL Specifications in the Topcased Environment. In Proceedings of the 14th Ada-Europe international Conference on Reliable Software Technologies (Brest, France, June 08 - 12, 2009).

RST Sokolsky 2009

Oleg Sokolsky, Insup Lee, Duncan Clarke, “Process-Algebraic Interpretation of AADL Models”, Proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies 2009.

RSP Renault 2009

X. Renault, F. Kordon, and J. Hugues. Adapting models to model checkers, a case study: Analysing AADL using Time or Colored Petri Nets. Proceedings of the 20th International Workshop on Rapid System Prototyping, pages 26-33, IEEE Computer Society, June 2009


AIAA Infotech Feiler 2009

Feiler P., Gluch D., Weiss K., Woodham K., “Model-Based Software Quality Assurance with the Architecture Analysis and Design Language”, Proceedings of AIAA Infotech @Aerospace 2009 (April 2009).

WCSII Im 2009

Im, K. and McGregor, J. D. “Debugging support for security properties of software architectures”. Proceedings of the 5th Annual Workshop on Cyber Security and information intelligence Research: Cyber Security and information intelligence Challenges and Strategies (Oak Ridge, Tennessee, April 13 - 15, 2009).

MOMPES Aleti 2009

Aldeida Aleti, Stefan Bjornander, Lars Grunske, Indika Meedeniya, "ArcheOpterix: An extendable tool for architecture optimization of AADL models," MOMPES, pp.61-71, 2009 ICSE Workshop on Model-Based Methodologies for Pervasive and Embedded Software, 2009.

DATE Casteres 2009

Casteres J., Ramaherirariny T. (Airbus), “Aircraft integration real-time simulator Modeling with AADL for architecture tradeoffs”, Proceedings of 9th Design, Automation & Test in Europe Conference, April 2009.

DATE Borde 2009

E. Borde, G. Haik, L. Pautet, "Mode-Based Reconfiguration of Critical Software Component Architectures", Proceedings of 9th Design, Automation & Test in Europe Conference, April 2009.

SERC Liu 2009

Hong Liu, D. Gluch, “Formal verification of AADL behavior models: a feasibility investigation”, Proceedings of the 47th Annual Southeast Regional Conference, March 2009.

REE Lewis 2009

Lewis B., Feiler P. « Multi-Dimensional Model Based Engineering for Performance Critical Computer Systems Using the AADL”, Revue de l’Electricite et de l’Electronique (REE) Special Issue, Mar 2009.

REE Rugina 2009

Rugina A.(EADS Astrium), Feiler P., Kanoun K.(LAAS), Kaaniche M.(LAAS), “Modélisation de la sûreté de fonctionnement avec AADL– un langage standardize de description d’architectures”, Revue de l’Electricite et de l’Electronique (REE) Special Issue Mar 2009.

ISORC Renault 2009

X. Renault, F. Kordon, and J. Hugues. From AADL architectural models to Petri Nets: Checking model viability. 12th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC'09), pages 313-320, IEEE Computer Society, March 2009.

ETAPS Jahier 2009

Jahier, E., Halbwachs, N., and Raymond, P. 2009. Synchronous Modeling and Validation of Priority Inheritance Schedulers. In Proceedings of the 12th international Conference on Fundamental Approaches To Software Engineering: Held As Part of the Joint European Conferences on theory and Practice of Software, ETAPS 2009 (York, UK, March 22 - 29, 2009).

MEMOCODE Bozzano 2009

Marco Bozzano, Alessandro Cimatti, Marco Roveri, Joost-Pieter Katoen, Viet Yen Nguyen and Thomas Noll. “Codesign of Dependable Systems: A Component-Based Approach”, Seventh ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE'2009).

SAFECOMP Bozzano 2009

Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, and Marco Roveri, “ COMPASS Approach:Correctness, Modelling and Performability of Aerospace Systems”, 28th International Conference on Computer Safety, Reliability, and Security, , SAFECOMP 2009.

QOSA Bjornlander 2009

Stefan Björnander, Lars Grunske, Kristina Lundqvist, “Timed Simulation of Extended AADL-Based Architecture Specifications with Timed Abstract State Machines”. QoSA 2009: 101-115. 2009.

CIT Reza 2009

Hassan Reza, Emanuel S. Grant, "Toward Extending AADL-OSATE Toolset with Color Petri Nets (CPNs)," ITNG, pp.1085-1088, 2009 Sixth International Conference on Information Technology: New Generations, 2009.

PhD Renault 2009

Xavier Renault, Mise en oeuvre de notations standardisees, formelles et semi-formelles dans un processus de developpement de systemes embarques temps-reel repartis, Ph. D. thesis, Universite Pierre et Marie Curie, Laboratoire d'Informatique de Paris 6, Dec 2009.

PhD Borde 2009

Etienne Borde, Configuration et Reconfiguration des Syst`emes TR2E Critiques et Adaptatifs, Ph.D. Thesis, Telecom ParisTech, Ecole Nationale Superieure des Telecommunication, Dec 2009.

Personal tools