Conformance Testing of Preemptive Real-Time Systems

Publisher： IGI Global_journal

E-ISSN： 1947-3184|4|4|1-26

ISSN： 1947-3176

Source： International Journal of Embedded and Real-Time Communication Systems (IJERTCS), Vol.4, Iss.4, 2013-10, pp. : 1-26

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

A formal framework for black-box conformance testing of distributed real-time systems

By Krichen Moez  

International Journal of Critical Computer-Based Systems, Vol. 3, Iss. 1-2, 2012-01 ,pp. : 26-43

Inderscience Publishers

Access to resources Recommend Favorite

A Supervisory Control Method for Ensuring the Conformance of Real-Time Discrete Event Systems

By Khoumsi Ahmed  

Discrete Event Dynamic Systems, Vol. 15, Iss. 4, 2005-12 ,pp. : 397-431

Springer Publishing Company

Access to resources Recommend Favorite

Efficient computation of quantitative properties of real-time preemptive systems

By Abdelkrim Abdelli  

International Journal of Critical Computer-Based Systems, Vol. 3, Iss. 3, 2012-11 ,pp. : 187-209

Inderscience Publishers

Access to resources Recommend Favorite

Improved priority assignment for global fixed priority pre-emptive scheduling in multiprocessor real-time systems

By Davis Robert   Burns Alan  

Real-Time Systems, Vol. 47, Iss. 1, 2011-01 ,pp. : 1-40

Springer Publishing Company

Access to resources Recommend Favorite

Testing distributed real-time systems in the presence of inaccurate clock synchronizations

By Khoumsi A.  

Information and Software Technology, Vol. 45, Iss. 12, 2003-09 ,pp. : 853-864

Elsevier

Access to resources Recommend Favorite