Sökning: onr:"swepub:oai:DiVA.org:his-1948" >
Detecting Design Er...
Detecting Design Errors in Composite Events for Event Triggered Real-Time Systems Using Timed Automata
-
- Ericsson, AnnMarie (författare)
- Högskolan i Skövde,Institutionen för kommunikation och information
-
- Berndtsson, Mikael (författare)
- Högskolan i Skövde,Institutionen för kommunikation och information,Software Systems Research Group (SSRG)
-
(creator_code:org_t)
- IEEE, 2006
- 2006
- Engelska.
-
Ingår i: SCW 2006: IEEE Services Computing Workshops. - : IEEE. - 0769526810 - 9780769526812 ; , s. 39-47
- Relaterad länk:
-
https://urn.kb.se/re...
-
visa fler...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- Many applications need to detect and respond to occurring events and combine these event occurrences into new events with a higher level of abstraction. Specifying how events can be combined is often supported by design tools specific to the current event processing engine. However, the issue of ensuring that the combinations of events provide the system with the correct combination of information is often left to the developer to analyze. We argue that analyzing correctness of event composition is a complex task that needs tool support. In this paper we present a novel development tool for specifying composition of events with time constraints. One key feature of our tool is to automatically transform composite events for real-time systems into a timed automaton representation. The timed automaton representation allow us to check for design errors, for example, whether the outcome of combining events with different operators in different consumption policies is consistent with the requirement specification
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences (hsv//eng)
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Datorsystem (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Computer Systems (hsv//eng)
Nyckelord
- Technology
- Teknik
- Software Systems Research Group (SSRG)
- Software Systems Research Group (SSRG)
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)
Hitta via bibliotek
Till lärosätets databas