A test strategy for the distributed real-time system MARS

This publication has 10 references indexed in Scilit:

• A graphical design environment for distributed real-time systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• A computer-aided design environment for distributed realtime systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Calculating the maximum execution time of real-time programs
  Real-Time Systems, 1989
• Application development project support
  ACM SIGSOFT Software Engineering Notes, 1989
• Distributed fault-tolerant real-time systems: the Mars approach
  IEEE Micro, 1989
• Misconceptions about real-time computing: a serious problem for next-generation systems
  Computer, 1988
• A formal framework for the study of concurrent program testing
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1988
• Clock Synchronization in Distributed Real-Time Systems
  IEEE Transactions on Computers, 1987
• Software development of real-time systems
  Communications of the ACM, 1986
• Real-time
  Communications of the ACM, 1980