García Merayo, María De Las MercedesNúñez García, ManuelRodríguez Laguna, IsmaelArbab, FSirjani, M2023-06-202023-06-202007978-3-540-75697-210.1007/978-3-540-75698-9_11https://hdl.handle.net/20.500.14352/53128International Symposium on Fundamentals of Software Engineering. APR 17-19, 2007. Tehran, IRAN.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.engbook parthttp://www.springerlink.com/content/q755353l50466168/fulltext.pdfhttp://www.springerlink.com/open access519.8Probabilistic processesTimed systemsProcess algebraAutomataEFSMSComputer ScienceTheory & MethodsInvestigación operativa (Matemáticas)1207 Investigación Operativa