Formal testing of systems presenting soft and hard deadlines



Downloads per month over past year

García Merayo, Mercedes and Núñez García, Manuel and Rodríguez Laguna, Ismael (2007) Formal testing of systems presenting soft and hard deadlines. In International Symposium on Fundamentals of Software Engineering, Proceedings. Lecture Notes in Computer Science (4767). SPRINGER-VERLAG BERLIN, Berlín, pp. 160-174. ISBN 978-3-540-75697-2

[thumbnail of 19.pdf]

Official URL:


We present a formal framework to specify and test systems presenting both soft and hard deadlines. While hard deadlines must be always met on time, soft deadlines can be sometimes met in a different time, usually higher, from the specified one. It is this characteristic (to formally define sometimes) what produces several reasonable alternatives to define appropriate implementation relations, that is, relations to decide wether an implementation is correct with respect to a specification. In addition to introduce these relations, we define a testing framework to test implementations.

Item Type:Book Section
Additional Information:

International Symposium on Fundamentals of Software Engineering. APR 17-19, 2007. Tehran, IRAN.

Uncontrolled Keywords:Probabilistic processes; Timed systems; Process algebra; Automata; EFSMS; Computer Science; Theory & Methods
Subjects:Sciences > Mathematics > Operations research
ID Code:15773
Deposited On:27 Jun 2012 08:26
Last Modified:22 Aug 2018 11:33

Origin of downloads

Repository Staff Only: item control page