Högskolan i Skövde

his.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • apa-cv
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Deriving ECA-rules from timed-automata specifications.
University of Skövde, Department of Computer Science.
2002 (Swedish)Independent thesis Basic level (degree of Bachelor)Student thesis
Abstract [sv]

Real-time systems are required to answer to external stimuli within a specified time-period. For this to be possible, the systems behaviour must be predictable. The use of active databases in real-time systems introduces unpredictability in the system, e.g. due to their use of active rules. The behaviour in active databases is usually specified in ECA-rules. Sets of ECA-rules are hard to analyse, which implies that the behaviour of the ECA-rule set is hard to predict.

The purpose of this project is to evaluate the ability to support the development of a predictable ECA-rule set. Using a formal method for the specification task is desirable, since a formal specification is analysable and can be proven correct. In this project, timed-automata are used for specifying the systems behaviour. A method for deriving predictable ECA-rules from a timed-automaton specification is developed, and successfully applied on a case-study specification. For this case-study specification, a set of ECA-rules preserving the analysed behaviour of the timed-automata specification is derived.

Place, publisher, year, edition, pages
Skövde: Institutionen för datavetenskap , 2002. , p. 98
Keywords [sv]
Active-rules, ECA, Real-time systems, Timed-automata
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:his:diva-655OAI: oai:DiVA.org:his-655DiVA, id: diva2:3049
Presentation
(English)
Uppsok
teknik
Supervisors
Available from: 2008-02-01 Created: 2008-02-01 Last updated: 2018-01-12

Open Access in DiVA

fulltext(3080 kB)175 downloads
File information
File name FULLTEXT01.psFile size 3080 kBChecksum MD5
83c70bfc3070799f64c18a00fdc0ae4ff74b0436c894860a39fe1a0562cb4027d0b93e43
Type fulltextMimetype application/postscript
fulltext(1004 kB)174 downloads
File information
File name FULLTEXT02.pdfFile size 1004 kBChecksum SHA-512
20984ea060e2081609bfe37fb90fdfdd880a2142474f3c7f414824b6c77e01766b0887c5d06ecefc1023741a3ec2ef88a27106b4ffe9e85d371bbd711eeb79cd
Type fulltextMimetype application/pdf

By organisation
Department of Computer Science
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar
Total: 349 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

urn-nbn

Altmetric score

urn-nbn
Total: 484 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • apa-cv
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf