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

Authors:
Davor Slutej;John Håkansson;Jagadish Suryadevara;Cristina Seceleanu;Paul Pettersson
Affiliations:
School of Innovation, Design, and Engineering, Mälardalen University, Västerås, Sweden;Department of Information Technology, Uppsala University, Uppsala, Sweden;Mälardalen Real-Time Research Centre, Mälardalen University, Västerås, Sweden;Mälardalen Real-Time Research Centre, Mälardalen University, Västerås, Sweden;Mälardalen Real-Time Research Centre, Mälardalen University, Västerås, Sweden
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2009

Citing 10
Cited 3

Statecharts: A visual formalism for complex systems

Science of Computer Programming
STATEMATE: A Working Environment for the Development of Complex Reactive Systems

IEEE Transactions on Software Engineering
A theory of timed automata

Theoretical Computer Science
Design patterns: elements of reusable object-oriented software

Design patterns: elements of reusable object-oriented software
Executable Object Modeling with Statecharts

Computer
An Efficient Object-Oriented Variation of the Statecharts Formalism for Distributed Real-Time Systems

CHDL '93 Proceedings of the 11th IFIP WG10.2 International Conference sponsored by IFIP WG10.2 and in cooperation with IEEE COMPSOC on Computer Hardware Description Languages and their Applications
Modeling Heterogeneous Real-time Components in BIP

SEFM '06 Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods
The SAVE approach to component-based development of vehicular systems

Journal of Systems and Software
Verification of COMDES-II Systems Using UPPAAL with Model Transformation

RTCSA '08 Proceedings of the 2008 14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications
Save-IDE: An Integrated Development Environment for Building Predictable Component-Based Embedded Systems

ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering

Save-IDE - A tool for design, analysis and implementation of component-based embedded systems

ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Preliminary feasibility analysis of component based modelling and automatic Java code generation for nanosatellite on-board software: short paper

Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems
Bridging the semantic gap between abstract models of embedded systems

CBSE'10 Proceedings of the 13th international conference on Component-Based Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

Designers of industrial real-time systems are commonly faced with the problem of complex system modeling and analysis, even if a component-based design paradigm is employed. In this paper, we present a case-study in formal modeling and analysis of a turntable system, for which the components are described in the SaveCCM language. The search for general principles underlying the internal structure of our real-time system has motivated us to propose three modeling patterns of common behaviors of real-time components, which can be instantiated in appropriate design contexts. The benefits of such reusable patterns are shown in the case-study, by allowing us to produce easy-to-read and manageable models for the real-time components of the turntable system. Moreover, we believe that the patterns may pave the way toward a generic pattern-based modeling framework targeting real-time systems in particular.