Analyzing a Pattern-Based Model of a Real-Time Turntable System

Electronic Notes in Theoretical Computer Science

Volumn 253, Issue 1, 2009, Pages 161-178

  Slutej, Davor ^a   Håkansson, John ^b   Suryadevara, Jagadish ^c   Seceleanu, Cristina ^c   Pettersson, Paul ^c  

^a MÄLARDALEN UNIVERSITY   (Sweden)

^b UPPSALA UNIVERSITY   (Sweden)

^c MÄLARDALEN UNIVERSITY   (Sweden)

Author keywords

case study; Components; embedded systems; modeling patterns; real time; specification; verification

Indexed keywords

CASE STUDY; COMPLEX SYSTEMS; COMPONENT BASED DESIGN; COMPONENTS; DESIGN CONTEXT; FORMAL MODELING; GENERIC PATTERNS; INTERNAL STRUCTURE; MODELING FRAMEWORKS; MODELING PATTERNS; PATTERN-BASED MODELS; REAL-TIME; TIME COMPONENTS; TURNTABLE SYSTEMS;

EMBEDDED SYSTEMS; MATHEMATICAL MODELS; RESEARCH; SPECIFICATIONS;

REAL TIME SYSTEMS;

EID: 70349310123     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2009.09.034     Document Type: Article

References (20)

1. Åkerholm M., Carlson J., Fredriksson J., Hansson H., Håkansson J., Möller A., Pettersson P., and Tivoli M. The SAVE approach to component-based development of vehicular systems. Journal of Systems and Software 80 5 (May 2007) 655-667
2. Alur R., Thao D., Esposito J., Yerang H., Ivancic F., Kumar V., Mishra P., Pappas G.J., and Sokolsky O. Hierarchical modeling and analysis of embedded systems. Proceedings of the IEEE 91 1 (January 2003) 11-28
3. Alur R., and Dill D.L. A theory of timed automata. Theoretical Computer Science 126 2 (1994) 183-235
4. Ananda Basu, Marius Bozga, and Joseph Sifakis. Modeling heterogeneous real-time components in bip. In SEFM, pages 3-12, 2006
5. Behrmann G., David A., and Larsen K.G. A tutorial on uppaal. In: Bernardo M., and Corradini F. (Eds). Formal Methods for the Design of Real-Time Systems: 4th International School on Formal Methods for the Design of Computer, Communication, and Software Systems. SFM-RT 2004. LNCS number 3185 (September 2004), Springer-Verlag 200-236
6. Bortnik E., Trčka N., Wijs A.J., Luttik S.P., van de Mortel-Fronczak J.M., Baeten J.C.M., Fokkink W.J., and Rooda J.E. Analyzing a χ model of a turntable system using Spin, CADP and Uppaal. Journal of Logic and Algebraic Programming 65 2 (2005) 51-104
7. Bos V., and Kleijn J.J.T. Automatic verification of a manufacturing system. Robotics and Computer Integrated Manufacturing 17 (2001) 185-198
8. Carlson J., Håkansson J., and Pettersson P. SaveCCM: An analysable component model for real-time systems. Proceedings of the 2nd Workshop on Formal Aspects of Components Software. (FACS 2005). Electronic Notes in Theoretical Computer Science (2005) Elsevier
9. Gamma E., Helm R., Johnson R., and Vlissides J. Design Patterns: Elements of Reusable Object-Oriented Software. Addison Wesley Professional Computing (1995), Addison Wesley Publishing Company, Reading, Massachusetts
10. Håkansson J., and Pettersson P. Partial order reduction for verification of real-time components. Proc. of 1st International Workshop on Formal Modeling and Analysis of Timed Systems. Lecture Notes in Computer Science (2007), Springer-Verlag
11. John Håkansson, Jan Carlson, Aurelien Monot, Paul Pettersson, and Davor Slutej. Component-based design and analysis of embedded systems with uppaal port. In 6th International Symposium on Automated Technology for Verification and Analysis, pages 252-257. Springer-Verlag, October 2008
12. Harel D., and Gery E. Executable object modeling with statecharts. IEEE Computer 30 7 (July 1997) 31-42
13. Harel D. Statecharts: A visual formalism for complex systems. Science of Computer Programming 8 (1987) 231-274
14. Harel D., Lachover H., Naamad A., Pnueli A., Politi M., Sherman R., Shtulltrauring A., and Trakhtenbrot D.M. Statemate: A working environment for the development of complex reactive systems. IEEE Transactions on Software Engineering 16 (1991)
15. Xu Ke, P. Pettersson, K. Sierszecki, and C. Angelov. Verification of comdes-ii systems using uppaal with model transformation. Embedded and Real-Time Computing Systems and Applications, 2008. RTCSA '08. 14th IEEE International Conference on, pages 153-160, Aug. 2008
16. Larsen K.G., Pettersson P., and Wang Yi. Uppaal in a nutshell. Int. J. on Software Tools for Technology Transfer 1 1-2 (1997) 134-152
17. Selic B. An efficient object-oriented variation of the statecharts formalism for distributed real-time systems. Proceedings of the 11th IFIP International Conference on Computer Hardware Description Languages and their Applications. CHDL '93. IFIP Transactions vol. A-32 (1993), North-Holland 335-344
18. Sverine Sentilles, John Håkansson, Paul Pettersson, and Ivica Crnkovic. Save-ide an integrated development environment for building predictable component-based embedded systems. In Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), September 2008
19. Davor Slutej. Component-based modeling and analysis of embedded systems. Master's thesis, Department of Computer Science and Engineering, Mälardalen University, September 2008
20. van Beek D.A., Man K.L., Reniers M.A., Rooda J.E., and Schiffelers R.R.H. Syntax and consistent equation semantics of hybrid chi. Journal of Logic and Algebraic Programming 68 1-2 (2006) 129-210