Modeling of Real-Time Embedded Systems using SDL
暂无分享,去创建一个
Jean-Philippe Babau | J.-J. Schwarz | Ahmad Alkhodre | A. Alkhodre | J. Schwarz | Jean-Philippe Babau
[1] Andreas Prinz,et al. Towards a New Formal SDL Semantics based on Abstract State Machines , 1999 .
[2] J.A. Stankovic,et al. Misconceptions about real-time computing: a serious problem for next-generation systems , 1988, Computer.
[3] José M. Troya,et al. Integrating schedulability analysis and SDL in an object-oriented methodology for embedded real-time systems , 1999, SDL Forum.
[4] Aloysius K. Mok,et al. Safety analysis of timing properties in real-time systems , 1986, IEEE Transactions on Software Engineering.
[5] Jean-Philippe Babau,et al. Expressing real-time constraints in a reflective object model , 1998 .
[6] Joseph Sifakis,et al. IF: An intermediate representation for SDL and its applications , 1999, SDL Forum.