System-level verification of multi-core embedded systems using timed-automata

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 17, Issue 1 PART 1, 2008, Pages

  Madsen, Jan ^a   Hansen, Michael R ^a   Brekling, Aske W ^a  

^a NONE

Author keywords

Large scale complex systems

Indexed keywords

APPLICATION LAYERS; APPLICATION MAPPING; CROSS-LAYER; DESIGN PROCESS; HARD REAL-TIME; LARGE SCALE COMPLEX SYSTEMS; MEMORY UTILIZATION; MODELLING FRAMEWORK; MULTI CORE; POWER CONSUMPTION; REALTIME MULTIMEDIA; RESOURCE-CONSTRAINED; SAFETY-CRITICAL; SCHEDULABILITY; SYSTEM LEVELS;

LARGE SCALE SYSTEMS; MAPPING; MULTIMEDIA SYSTEMS; TRANSLATION (LANGUAGES);

EMBEDDED SYSTEMS;

EID: 79961020258     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.3182/20080706-5-KR-1001.3370     Document Type: Conference Paper

References (13)

1. Christo Angelov, Xu Ke, and Krzysztof Sierszecki. A component-based framework for distributed control systems. In EUROMICRO '06: Proceedings of the 32nd EUROMICRO Conference on Software Engineering and Advanced Applications, pages 20-27. IEEE Computer Society, 2006.
2. Gerd Behrmann, Alexandre David, and Kim G. Larsen. A tutorial on uppaal. In Marco Bernardo and Flavio Corradini, editors, 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, number 3185 in LNCS, pages 200-236. Springer-Verlag, September 2004.
3. A. Brekling. Modelling and verification of mpsoc. Master's thesis, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2006.
4. Elena Fersman, Paul Pettersson, and Wang Yi. Timed automata with asynchronous processes: Schedulability and decidability. In Tools and Algorithms for Construction and Analysis of Systems, pages 67-82, 2002.
5. Jane W. S. Liu. Real-Time Systems. Prentice Hall, 2000.
6. J. Madsen, S. Mahadevan, and K. Virk. Network-centric system-level model for multiprocessor soc simulation. In J. Nurmi, H. Tenhunen, J. Isoaho, and A. Jantsch, editors, Interconnect-Centric Design for Advanced SoC and NoC, chapter 13, pages 341-365. Kluwer Academic Publishers / Springer Publishers, July 2004a.
7. J. Madsen, K. Virk, and M. J. Gonzalez. A systemc-based abstract real-time operating system model for multiprocessor system-on-chip. In Multiprocessor System-on-Chip. Morgan Kaufmann, 2004.
8. Julio L. Medina, Michael Gonzlez Harbour, and Jos M. Drake. Mast real-time view: A graphic uml tool for modeling object-oriented real-time systems. pages 245-256, 2001.
9. Paul Pop, Petru Eles, and Zebo Peng. Bus access optimization for distributed embedded systems based on schedulability analysis. In DATE '00: Proceedings of the conference on Design, automation and test in Europe, pages 567-575. ACM Press, 2000.
10. Kai Richter, Marek Jersak, and Rolf Ernst. A formal approach to mpsoc performance verification. Computer, 36(4):60-67, 2003.
11. Marcus T. Schmitz, Bashir M. Al-Hashimi, and Petru Eles. System-Level Design Techniques for Energy-Efficient Embedded Systems. Kluwer Academic Publishers, 2004.
12. Jun Sun and Jane W.-S. Liu. Synchronization protocols in distributed real-time systems. In International Conference on Distributed Computing Systems, pages 38-45, 1996.
13. L. Thiele, S. Chakraborty, and M. Naedele. Real-time calculus for scheduling hard real-time systeme. In IEEE Internation Conference on Circuits and Systems, 2000.