SEMANTIC MODELLING AND SIMULATION OF HETEROGENEOUS EMBEDDED SYSTEMS

D. Monjau and M. Sporer

References

  1. [1] F. Balarin, Hardware-software co-design of embedded systems: The POLIS approach (Boston: Kluwer, 1997).
  2. [2] http://ptolemy.eecs.berkeley.edu.
  3. [3] G. Economakos & G. Papakonstantinou, Language based design verification with semantic analysis, Proc. EUROMICRO99 Conf., Vol. 1, Milan, September 8–10, 1999, 268–275.
  4. [4] F.N. van Wijk, J.P.M. Voeten, & A.J.W.M. ten Berg, A new modelling approach towards system-level design-space exploration, Proc. FDL’02 Conf., Forum on Specification & Design Languages, Vol. 1, Marseille, September 24–27, 2002, 496–501.
  5. [5] W.O. Cesário, G. Nicolescu, L. Gauthier, D. Lyonnard, & A.A. Jerraya, Colif: A multilevel design representation for application-specific multiprocessor system-on-chip design, Proc. 12th Int. Workshop on Rapid System Prototyping, Monterey, CA, June 25–27, 2001.
  6. [6] D. Monjau & M. Sporer, A universal simulation environment for embedded systems, Proc. IASTED Int. Conf. on Modelling, Identification and Control (MIC 2003), Innsbruck, Austria, February 10–13, 2003.
  7. [7] D. Monjau & M. Sporer, Analysing non-functional requirements of embedded systems, Proc. IASTED Int. Conf. on Modelling, Identification and Control (MIC 2002), Innsbruck, Austria, February 18–21, 60–65.
  8. [8] http://herkules.informatik.tu-chemnitz.de/wisyra/rodos.html.
  9. [9] D. Monjau & M. Sporer, Knowledge-based design of embedded systems, International Journal of Knowledge-Based Intelligent Engineering Systems, 6 (1), 2002, 1–8.
  10. [10] D. Monjau & M. Sporer, Ensuring semantic integrity in knowledge bases for embedded systems, in E. Villar & J.P. Mermet (Eds.), Best of FDL’02 “System Specification & Design Languages (Boston: Kluwer Academic Publishers, 2003), 327–340.
  11. [11] P. Dadam & V. Linnemann, Advanced Information Management (AIM): Advanced database technology for integrated applications, IBM Systems Journal, 28 (4), 1989, 661. 210

Important Links:

Go Back