A methodology of model-based testing for AADL flow latency in CPS

2011 5th International Conference on Secure Software Integration and Reliability Improvement - Companion, SSIRI-C 2011

Volumn , Issue , 2011, Pages 99-105

  Zhu, Yufeng ^a   Dong, Yunwei ^a   Ma, Chunyan ^a   Zhang, Fan ^a  

^a NORTHWESTERN POLYTECHNICAL UNIVERSITY   (China)

Author keywords

AADL flow latency; CPS; Model based testing; PDA

Indexed keywords

AADL FLOW LATENCY; ARCHITECTURE ANALYSIS; CPS; CRUISE CONTROL SYSTEMS; CYBER-PHYSICAL SYSTEMS; DESIGN FAULTS; DESIGN MODELS; DESIGN PHASE; MODEL ARCHITECTURE; MODEL BASED TESTING; MODEL PERFORMANCE; MODELING LANGUAGES; PDA; PUSH-DOWN AUTOMATA;

AIRCRAFT CONTROL; C (PROGRAMMING LANGUAGE); COMPUTER CONTROL; DESIGN; EMBEDDED SYSTEMS; FLIGHT CONTROL SYSTEMS; MODELS; REFINING; RELIABILITY ANALYSIS; SOFTWARE RELIABILITY; SOFTWARE TESTING;

COMPUTER SIMULATION;

EID: 80053036967     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SSIRI-C.2011.24     Document Type: Conference Paper

References (13)

1. OMG Model Driven Architecture (MDA), http://www.omg.org/mda/June, 2010.
2. Peter Feiler, David Gluch, John Hudak, The Architecture Analysis & Design Language (AADL): An Introduction, International Society of Automotive Engineers, USA, February, 2006.
3. Yang ZB, Pi L, Hu K, Gu ZH, Ma DF, AADL: An architecture design and analysis language for complex embedded real-time systems, Journal of Software, 2010, 21(5):899-915.
4. Open Source AADL Tool Environment (OSATE), http://www.aadl.info/aadl/ currentsite/tool/osate.html, June, 2010.
5. John Hopcroft, Rajeev Motwani, Jeffrey Ullman, Introduction to Automata Theory, Languages, and Computation, Second Edition, USA :Addison Wesley/Pearson, November, 2000.
6. David C. Black, Jack Donovan, SystemC: From the ground up, Kluwer Academic Publishers, 2004.
7. Peter Feiler, Jorgen Hansson, Flow Latency Analysis with the Architecture Analysis and Design Language (AADL), USA : International Society of Automotive Engineers, December, 2007.
8. International Society of Automotive Engineers, SAEAS5506:Annex Behavior-Specification V2.0Annex Behavior Language Compliance and Application Program Interface, USA, September, 2007.
9. F. Singhoff, A. Plantec, AADL modeling and analysis of hierarchical schedulers Informatiques, SIGAda'07, Fairfax, USA, 2007.
10. The Cheddar Project :A Free Real-Time Scheduling Analyzer, http://beru.univ-brest.fr/~singhoff/cheddar/index.html 2008.
11. O Sokolsky, I Lee, D Clark, Schedulability Analysis of AADL models, IEEE International Parallel & Distributed Processing Symposium, Greece, 2006.
12. Su-Young Lee, Frédéric Mallet, Robert de Simone, Dealing with AADL End-to-end Flow Latency with UML MARTE, 13th IEEE International Conference on Engineering of Complex Computer Systems, Belfast, Northern Ireland, 2008.
13. SCoPE V1.1.0, http://www.teisa.unican.es/scope February, 2009.