The MILS architecture for high-assurance embedded systems

Author： Alves-Foss Jim   Oman Paul W.   Taylor Carol   Harrison W. Scott  

Publisher： Inderscience Publishers

ISSN： 1741-1068

Source： International Journal of Embedded Systems, Vol.2, Iss.3-4, 2007-08, pp. : 239-247

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

Integrated architectural modeling and analysis for high-assurance command and control system design

By Deng Y.   Wang J.  

Annals of Software Engineering, Vol. 7, Iss. 1-4, 1999-01 ,pp. : 47-70

Springer Publishing Company

Access to resources Recommend Favorite

Applying evolutionary computation to mitigate uncertainty in dynamically-adaptive, high-assurance middleware

By McKinley Philip  

Journal of Internet Services and Applications, Vol. 3, Iss. 1, 2012-05 ,pp. : 51-58

Springer Publishing Company

Access to resources Recommend Favorite

Quality Assurance of Knowledge-based Systems

By Tepandi J.  

Engineering Applications of Artificial Intelligence, Vol. 10, Iss. 3, 1997-06 ,pp. : 231-242

Elsevier

Access to resources Recommend Favorite

Quality assurance and testing for safety systems

By Hecht Herbert   Hecht Myron  

Annals of Software Engineering, Vol. 4, Iss. 1, 1997-01 ,pp. : 191-200

Springer Publishing Company

Access to resources Recommend Favorite

A planning language for embedded systems

By Spalazzi Luca  

Journal of Experimental & Theoretical Artificial Intelligence, Vol. 11, Iss. 2, 1999-04 ,pp. : 219-238

Taylor & Francis Ltd

Access to resources Recommend Favorite