A software framework for hard real-time distributed embedded systems

EUROMICRO 2008 - Proceedings of the 34th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2008

Volumn , Issue , 2008, Pages 385-392

  Angelov, Christo ^a   Sierszecki, Krzysztof ^a   Zhou, Feng ^a  

^a UNIVERSITY OF SOUTHERN DENMARK   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATIONS; EMBEDDED SYSTEMS; INTEGRATED CIRCUITS; JITTER; MACHINE COMPONENTS; MULTITASKING; REAL TIME SYSTEMS; SOFTWARE ENGINEERING; TEMPERATURE CONTROL;

APPLICATION COMPONENTS; APPLICATION MODELS; DISTRIBUTED EMBEDDED SYSTEMS; EMBEDDED APPLICATIONS; FUNCTION BLOCKS; HARD REAL-TIME; IMPLEMENTATION MODELS; MODEL OF COMPUTATIONS; OPERATIONAL ENVIRONMENTS; PHYSICAL NETWORKS; REAL-TIME NETWORKS; SOFTWARE FRAMEWORKS; STATE MACHINES;

EMBEDDED SOFTWARE;

EID: 60349106371     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SEAA.2008.29     Document Type: Conference Paper

References (16)

1. K.H. John and M. Tiegelkamp, IEC 61131-3: Programming Industrial Automation Systems, Springer, 2001
2. D.B. Stewart, R.A. Volpe and P.K. Khosla, "Design of Dynamically Reconfigurable Real-Time Software Using Port-Based Objects", IEEE Transactions on Software Engineering, vol. 23, No 12, 1997, pp. 759-776
3. T.A. Henzinger, B. Horowitz and CM. Kirsch, "Embedded Control Systems Development with Giotto", Proc. of the Conference on Languages, Compilers and Tools for Embedded Systems LCTES'01, Salt Lake City, USA, 2001
4. A. Ghosal, T.A. Henzinger, C.M. Kirsch and M.A.A. Sanvido, "Event-Driven Programming with Logical Execution Times", Proc. of HSCC 2004, Lecture Notes in Computer Science, vol. 2993, 2004, pp. 357-371
5. J. Liu and E.A. Lee, "Timed Multitasking for Real-Time Embedded Software", IEEE Control Systems Magazine: Advances in Software Enabled Control, Feb. 2003, pp. 65-75
6. D. Isovic and C. Norström, "Components in Real-Time Systems", Proc. of the 8th International Conference on Real-Time Computing Systems and Applications RTCSA'2002, Tokyo, Japan, March 2002
7. H. Hansson, M. Åkerholm, I. Crnkovic and M. Törngren, "SaveCCM - A Component Model for Safety-Critical Real-Time Systems", Proc. of the 30th EUROMICRO Conference EUROMICRO'04, pp. 627-635
8. B. Selic, G. Gullegson and P.T. Ward, Real-Time Object-Oriented Modeling, John Wiley & Sons, 1994
9. E.A. Lee and Y. Xiong, "System-Level Types for Component-Based Design", Proc. of the First Workshop on Embedded Software EMSOFT'2001, Lake Tahoe, USA, 2001
10. C. Angelov, K. Sierszecki, N. Marian and Jinpeng Ma, "A Formal Component Framework for Distributed Embedded Systems", In I. Gorton et al, (Eds.): CBSE 2006, LNCS4063, (2006), 206-221
11. C. Angelov, Xu Ke and K. Sierszecki, "A Component-Based Framework for Distributed Control Systems", Proc. of the 32nd EUROMICRO Conference on Software Engineering and Advanced Applications EUROMICRO-SEAA'2006, Cavtat, Dubrovnik, Croatia, Aug.-Sept. 2006, pp. 20-27
12. C. Angelov and J. Berthing, "A Timed Multitasking Architecture for Distributed Embedded Systems", Proc. of the IEEE International Symposium on Industrial Embedded Systems SIES'2007, Lisbon, Portugal, July 2007
13. J. Berthing and C. Angelov, "Component-Based Design of Safe Real-Time Kernels for Embedded Systems", Proc. of the 33rd EUROMICRO Conference on Software Engineering and Advanced Applications EUROMICRO-SEAA'2007, Lubeck, Germany, Aug. 2007
14. A.L. Sangiovanni-Vincentelli and G. Martin, "Platform-Based Design and Software Design Methodology for Embedded Systems", IEEE Design and Test of Computers, vol. 18 (2001), pp. 23-33
15. P.Caspi, "Some Issues In Model-Based Development for Embedded Control Systems", invited lecture, DIPES' 2006, Braga, Portugal, October 2006.
16. T. A. Henzinger and J. Sifakis, "The Embedded Systems Design Challenge", Proceedings of the 14th International Symposium on Formal Methods FM 2006, LNCS 4085, pp. 1-15, 2006