A formal component framework for distributed embedded systems

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

Volumn 4063 LNCS, Issue , 2006, Pages 206-221

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

^a UNIVERSITY OF SOUTHERN DENMARK   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; DISTRIBUTED COMPUTER SYSTEMS; FORMAL LOGIC; MATHEMATICAL MODELS; SOFTWARE ENGINEERING; SYSTEMS ANALYSIS;

COMDES FRAMEWORK; FORMAL MODELS; INDUSTRIAL SOFTWARE DESIGN METHODS; PREFABRICATED COMPONENTS;

EMBEDDED SYSTEMS;

EID: 33746444832     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11783565_15     Document Type: Conference Paper

References (18)

1. ARTIST Project IST-2001-34820: Selected Topics in Embedded Systems Design: Roadmaps for Research. Project report (2004)
2. European Research Consortium for Informatics and Mathematics: ERCIM News, N 52, (2003) Special Issue on Embedded Systems
3. Selic B., Gullegson G., and Ward P.T.: Real-Time Object-Oriented Modeling. John Wiley & Sons (1994)
4. Lee, E.A, Xiong, Y.: System-Level Types for Component-Based Design. Proc. of the First Workshop on Embedded Software EMSOFT2001, Lake Tahoe USA (2001)
5. Software Technologies, Embedded systems and Distributed systems in FP6. Workshop on Software Technologies, Embedded Systems and Distributed Systems in the 6th Framework Programme for EU Research, Brussels, Belgium (2002)
6. John, K.H., Tiegelkamp, M.: IEC 61131-3: Programming Industrial Automation Systems. Springer (2001)
7. Lewis, R.: Modeling Control Systems Using IEC 61499. Institution of Electrical Engineers (2001)
8. Angelov, C., Sierszecki, K., and Marian, N.: Component-Based Design of Embedded Software: an Analysis of Design Issues, in N. Guelfi et al. (Eds.): FIDJI 2004, LNCS 3409, (2005) 1-11
9. 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)
10. Angelov, C., Berthing, J., Sierszecki, K., and Marian, N.: Function Unit Specification in a Timed Multitasking Environment. Proc. of the 17th International Conference on Software and Systems Engineering and Their Applications ICSSEA'04, Paris France (2004)
11. Angelov C., Sierszecki K. and Marian N.: Design Models for Reusable and Reconfigurable State Machines, in L.T. Yang et al. (Eds): Embedded and Ubiquitous Computing EUC 2005, LNCS 3824, (2005) 152-163
12. Wang S., Shin K.G.: Constructing Reconfigurable Software for Machine Control Systems. IEEE Trans. on Robotics and Automation, 18 (4), (2002) 475-486
13. 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
14. Kopetz, H.: Real-Time Systems, Design Principles for Distributed Embedded Applications, Kluwer Academic Publishers (1997)
15. 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)
16. Liu J., and Lee E.A.: Timed Multitasking for Real-Time Embedded Software. IEEE Control Systems Magazine: Advances in Software Enabled Control, (2003) 65-75
17. Stewart D.B., Volpe R.A., and Khosla P.K.: Design of Dynamically Reconfigurable Real-Time Software Using Port-Based Objects. IEEE Trans. on Soft. Eng., TSE 23(12), (1997) 759-776
18. Isovic D., Norström C.: Components in Real-Time Systems. Proc. of the 8th Int. Conf. on Real-Time Comp. Systems and Applications RTCSA'2002, Tokyo Japan (2002)