期刊名称：Journal of Theoretical and Applied Information Technology
印刷版ISSN：1992-8645
电子版ISSN：1817-3195
出版年度：2012
卷号：46
期号：2
页码：0766-0771
出版社：Journal of Theoretical and Applied
摘要：The architecture is a key aspect of the design of any system including simulation systems. An architecture description should provide a formal specification of the architecture in terms of components and connectors and how they are composed together. Further, a simulation architecture description for safety critical system must provide a specification of how the architecture can satisfy safety and execution characteristics. This paper introduces the simulation architecture description language for hardware-in-loop simulation of safety critical systems (SCS-SADL) to support the real-time simulation of safety critical systems. SCS-SADL is a graphical language with constructs and semantics defined to provide the user with the capability to define the simulation at various levels. A supporting toolset is proposed and provided the interface to SCS-SADL for the design simulation description. With a case study, SCS-SADL is illustrated its ability to represent the simulation of safety critical systems.
