Design models for reusable and reconfigurable state machines

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

Volumn 3824 LNCS, Issue , 2005, Pages 152-163

  Angelov, Christo ^a   Sierszecki, Krzysztof ^a   Marian, Nicolae ^a  

^a UNIVERSITY OF SOUTHERN DENMARK   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; COMPUTER SOFTWARE REUSABILITY; CONCURRENT ENGINEERING; CONTROL SYSTEMS; FORMAL LOGIC; LARGE SCALE SYSTEMS; SOFTWARE ENGINEERING;

EMBEDDED SOFTWARE; HYBRID CONTROL SYSTEMS; HYBRID STATE LOGIC CONTROLLER; STATE MACHINES;

EMBEDDED SYSTEMS;

EID: 33744955106     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11596356_18     Document Type: Conference Paper

References (9)

1. Angelov, C., Sierszecki, K.: A Software Framework for Component-Based Embedded Applications. Proc. of the Asia-Pacific Software Engineering Conference APSEC'2004, Busan, Korea (2004)
2. Samek, M.: Practical Statecharts in C/C++: Quantum Programming for Embedded Systems. CMP Books (2002)
3. th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, Huntsville, USA (2003)
4. Wang, S., Shin, K. G.: Constructing Reconfigurable Software for Machine Control Systems. IEEE Trans. on Robotics and Automation, vol. 18, No 4, August (2002), 475-486
5. Maraninchi, F., Remond, Y.: Applying Formal Methods to Industrial Cases: the Language Approach (The Production-Cell and Mode-Automata). Proc. of the 5th International Workshop on Formal Methods for Industrial Critical Systems, Berlin (2000)
6. Lee, E.: Embedded Software - an Agenda for Research. UCB ERL Memorandum M99/63, University of California at Berkeley, USA (1999)
7. Douglass, B., P.: Real-Time UML: Developing Efficient Objects for Embedded Systems. Addison Wesley (1998)
8. Heimdahl, M. P. E., Leveson, N.G.: Completeness and Consistency Analysis of State-Based Requirements. IEEE Transactions on Software Engineering, TSE 22(6), (1996), 363-377
9. John, K-H., Tiegelkamp, M.: IEC61131-3: Programming Industrial Automation Systems. Springer (2001)