Expressibility Required to Design Embedded and Real-time Systems

Abstract

Abstract Embedded and real-time systems are characterised by safety criticality, reliability, real-time, limited resources, low-cost and re-usability, etc. Development of such systems is a complex engineering process, involving many different disciplines with respect to their demanding requirements, in order to achieve desired system properties and reduce the complexity of the development process, we compile these requirements and criteria for design, specification and modelling of embedded real-time systems, it is benefit for rapid development of high quality systems.