Verifying distributed real-time properties of embedded systems via graph transformations and model checking

Author： Madl Gabor   Abdelwahed Sherif   Schmidt Douglas  

Publisher： Springer Publishing Company

ISSN： 0922-6443

Source： Real-Time Systems, Vol.33, Iss.1-3, 2006-07, pp. : 77-100

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Applying model-driven development to distributed real-time and embedded avionics systems

By Balasubramanian Krishnakumar   Krishna Arvind S.   Turkay Emre   Balasubramanian Jaiganesh   Parsons Jeff   Gokhale Aniruddha   Schmidt Douglas C.  

International Journal of Embedded Systems, Vol. 2, Iss. 3-4, 2007-08 ,pp. : 142-155

Inderscience Publishers

Access to resources Recommend Favorite

Using Program Transformations to Provide Safety Properties for Real-Time Systems

By Tsai Grace   Wang Shuhua  

Real-Time Systems, Vol. 27, Iss. 2, 2004-07 ,pp. : 191-207

Springer Publishing Company

Access to resources Recommend Favorite

Functional programming of real-time reconfigurable embedded systems

By Strelzoff Alan G.  

International Journal of Embedded Systems, Vol. 2, Iss. 1-2, 2006-07 ,pp. : 106-113

Inderscience Publishers

Access to resources Recommend Favorite

Real-Time Reconfigurations of Embedded Control Systems

By  

International Journal of System Dynamics Applications (IJSDA), Vol. 5, Iss. 3, 2016-07 ,pp. : 71-93

IGI Global_journal

Access to resources Recommend Favorite

A formal framework for verifying distributed embedded systems based on abstraction methods

By Carcenac Francois   Boniol Frederic  

International Journal on Software Tools for Technology Transfer, Vol. 8, Iss. 6, 2006-11 ,pp. : 471-484

Springer Publishing Company

Access to resources Recommend Favorite