Process-algebraic interpretation of AADL models

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5570 LNCS, Issue , 2009, Pages 222-236

  Sokolsky, Oleg ^a   Lee, Insup ^a   Clarke, Duncan ^b  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

^b Fremont Associates   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRAIC INTERPRETATIONS; ANALYSIS RESULTS; ARCHITECTURAL MODELS; TIMING ANALYSIS; TOOLSETS; VERIFICATION AND VALIDATION;

ADA (PROGRAMMING LANGUAGE); ALGEBRA; COMPUTER SOFTWARE; EMBEDDED SYSTEMS; SEMANTICS;

MATHEMATICAL MODELS;

EID: 69149093457     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-01924-1_16     Document Type: Conference Paper

References (14)

1. Amnell, T., Fersman, E., Mokrushin, L., Pettersson, P., Yi, W.: TIMES - a tool for modelling and implementation of embedded systems. In: Katoen, J.-P., Stevens, P. (eds.) TACAS 2002. LNCS, vol. 2280, pp. 460-464. Springer, Heidelberg (2002)
2. Basu, A., Bozga, M., Sifakis, J.: Modeling heterogeneous real-time systems in BIP. In: 4th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), pp. 3-12 (September 2006)
3. Ben-Abdallah, H., Choi, J.-Y., Clarke, D., Kim, Y.S., Lee, I., Xie, H.-L.: A Process Algebraic Approach to the Schedulability Analysis of Real-Time Systems. Real- Time Systems 15, 189-219 (1998)
4. Chkouri, M., Robert, A., Bozga, M., Sifakis, J.: Translating AADL into BIP - application to the verification of real time systems. In: Workshop on Model Based Architecting and Construction of Embedded Systems, pp. 39-54 (September 2008)
5. Clarke, D., Lee, I., Xie, H.-L.: VERSA: A Tool for the Specification and Analysis of Resource-Bound Real-Time Systems. Journal of Computer and Software Engineering 3(2), 185-215 (1995)
6. Feiler, P., Lewis, B., Vestal, S.: The SAE AADL standard: A basis for model-based architecture-driven embedded systems engineering. In: Workshop on Model-Driven Embedded Systems (May 2003)
7. Gui, S., Luo, L., Li, Y., Wang, L.: Formal schedulability analysis and simulation for AADL. In: 2nd International Conference on Embedded Software and Systems, pp. 429-435 (July 2008)
8. Hugues, J., Zalila, B., Pautet, L., Kordon, F.: From the Prototype to the Final Embedded System Using the Ocarina AADL Tool Suite. ACM Transactions in Embedded Computing Systems (TECS) 7(4) (July 2008)
9. Lee, I., Brémond-Grégoire, P., Gerber, R.: A Process Algebraic Approach to the Specification and Analysis of Resource-Bound Real-Time Systems. Proceedings of the IEEE, 158-171 (January 1994)
10. Lee, I., Philippou, A., Sokolsky, O.: Resources in process algebra. Journal of Logic and Algebraic Programming 72, 98-122 (2007)
11. Monteverde, D., Olivero, A., Yovine, S., Braberman, V.: VTS based specification and verification of behavioral properties of AADL models. In: Workshop on Model Based Architecting and Construction of Embedded Systems (September 2008)
12. Philippou, A., Cleaveland, R., Lee, I., Smolka, S., Sokolsky, O.: Probabilistic resource failure in real-time process algebra. In: Sangiorgi, D., de Simone, R. (eds.) CONCUR 1998. LNCS, vol. 1466, pp. 389-404. Springer, Heidelberg (1998)
13. SAE International. Architecture Analysis and Design Language (AADL), AS 5506 (November 2004)
14. Sokolsky, O., Lee, I., Clarke, D.: Schedulability analysis of AADL models. In:Workshop on Parallel and Distributed Real-Time Systems (April 2006)