English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools annual

Global: Zendy Free Plan

Global: Zendy Tools monthly

Global: Zendy Plus monthly

In this paper we present a formal framework to test real-time embedded systems where temporal requirements play a relevant role. First, we introduce our formal model to specify this kind of systems. It is a modification of the classical EFSM formalism where actions will be attached with a temporal constraint. This constraint expresses the maximal and/or minimal time this action should take during its execution in the current configuration. Then, we use this formalism to construct models that represent the set of temporal requirements in a system. In turn, they are automatically obtained from the temporal requirements defined for each component in the system. Tests for checking these requirements are defined and a formal mechanism to apply them to real systems is described.

kluwer academic publishers ebooks

SPECIFICATION-BASED TESTING OF REAL-TIME EMBEDDED SYSTEMSResearch partially supported by the Spanish MCYT project TIC2003-07848-C02-01, the Junta de Castilla-La Mancha project PAC-03-001, and the Marie Curie project MRTN-CT-2003-505121/TAROT.