Abstract | ||
---|---|---|
Safety critical systems, such as aviation systems controlled by software, often have hard real-time requirements. Producing the correct result at the right time is the fundamental goal of such systems. Formally specifying the system functions and the timing requirements is the crucial step towards achieving such a goal. Aviation systems often need to be modified or upgraded on a regular basis, i.e. functionality and timing constraints may be altered. Therefore, the formal specification of such systems needs to be easily reused, maintained and modified. This paper demonstrates how the task scheduling aspects of an aircraft mission computer can be formalised in TCOZ |
Year | DOI | Venue |
---|---|---|
1999 | 10.1109/APSEC.1999.809647 | APSEC |
Keywords | Field | DocType |
crucial step,scheduling,correct result,mission computer tasks,fundamental goal,real-time requirement,aircraft computers,regular basis,capturing periodic concurrent interactions,aviation system,safety critical systems,timing constraint,timing requirements,timing requirement,aircraft mission computer,safety-critical software,aviation systems,periodic concurrent interactions,tcoz,task scheduling,real-time systems,formal specification,real-time requirements,concurrent computing,real time systems,job shop scheduling,software systems,control systems | Life-critical system,Systems engineering,Scheduling (computing),Computer science,Aviation,Real-time computing,Formal specification,Software,Periodic graph (geometry),Object-Z | Conference |
ISBN | Citations | PageRank |
0-7695-0509-0 | 1 | 0.48 |
References | Authors | |
8 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jin Song Dong | 1 | 177 | 15.93 |
Brendan P. Mahony | 2 | 317 | 24.12 |
Neale Fulton | 3 | 9 | 1.84 |