Timing tolerances in safety-critical software

Lecture Notes in Computer Science

Volumn 3582, Issue , 2005, Pages 157-172

  Wassyng, Alan ^a   Lawford, Mark ^a   Hu, Xiayong ^a  

^a MCMASTER UNIVERSITY   (Canada)

Author keywords

Real time; Requirements; Safety critical; Timing tolerances

Indexed keywords

PERFORMANCE; REAL TIME SYSTEMS; SOFTWARE ENGINEERING;

REAL-TIME; REQUIREMENTS; SAFETY-CRITICAL; TIMING TOLERANCES;

COMPUTER SOFTWARE;

EID: 26444458336     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11526841_12     Document Type: Conference Paper

References (9)

1. Wang, F.: Formal verification of timed systems: A survey and perspective. Proceedings of the IEEE 92 (2004) 1283-1307
2. Wulf, M.D., Doyen, L., Raskin, J.F.: Almost asap semantics: From timed models to timed implementations. In: HSCC04. Vol. 2993 of LNCS. (2004) 296-310
3. Wulf, M.D., Doyen, L., Markey, N., Raskin, J.F.: Robustness and implementability of timed automata. In: FORMATS04. Vol. 3253 of LNCS., Grenoble (2004) 152-166
4. Abadi, M., Lamport, L.: An old-fashioned recipe for real time. ACM Transactions on Programming Languages and Systems 16 (1994) 1543-1571
5. Shankar, N.: Verification of real-time systems using PVS. In Courcoubetis, C., ed.: CAV '93. Vol. 697 of LNCS., Elounda, Greece, Springer-Verlag (1993) 280-291
6. Parnas, D.L., Madey, J.: Functional documents for computer systems. Science of Computer Programming 25 (1995) 41-61
7. Janicki, R., Khédri, R.: On a formal semantics of tabular expressions. Science of Computer Programming 39 (2001) 189-213
8. Wassyng, A., Janicki, R.: Using tabular expressions. In: Int. Conf. on Software and Systems Engineering and their Applications. Vol. 4., Paris (2003) 1-17
9. Wassyng, A., Lawford, M.: Lessons learned from a successful implementation of formal methods in an industrial project. In Araki, K., Gnesi, S., Mandrioli, D., eds.: FME 2003. Vol. 2805 of LNCS., Springer-Verlag (2003) 133-153