Integrated support based on task models for the design, evaluation, and documentation of interactive safety-critical systems: a case study in the air-traffic control domain

Author： Santoro F. Paternòand C.  

Publisher： Taylor & Francis Ltd

ISSN： 1464-5319

Source： International Journal of Systems Science, Vol.33, Iss.6, 2002-05, pp. : 513-527

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

Sensor data dissemination systems using Web-based standards: a case study of publishing data in support of evapotranspiration models in California

By Zhang Jianting  

Civil Engineering and Environmental Systems, Vol. 26, Iss. 1, 2009-03 ,pp. : 35-52

Taylor & Francis Ltd

Access to resources Recommend Favorite

Design of sampled-data critical control systems based on the fast-discretization technique

By Ono Takahiko   Ishihara Tadashi   Inooka Hikaru  

International Journal of Control, Vol. 75, Iss. 8, 2002-05 ,pp. : 572-581

Taylor & Francis Ltd

Access to resources Recommend Favorite

Task level specification and formal verification of robotics control systems: state of the art and case study

By Kapellos K.   Simon D.   Jourdant M.   Espiau B.  

International Journal of Systems Science, Vol. 30, Iss. 11, 1999-11 ,pp. : 1227-1245

Taylor & Francis Ltd

Access to resources Recommend Favorite

Case study on rate-based traffic control of industrial networks employing LonWorks

By Cho Kwang-Hyun   Kim Byoung-Hee   Park Kyoung-Sup  

International Journal of Systems Science, Vol. 33, Iss. 3, 2002-02 ,pp. : 161-164

Taylor & Francis Ltd

Access to resources Recommend Favorite

Simulation in agent-based control systems: MAST case study

By Vrba Pavel  

International Journal of Manufacturing Technology and Management, Vol. 8, Iss. 1-2, 2006-01 ,pp. : 175-187

Inderscience Publishers

Access to resources Recommend Favorite