mdh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • 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
Verification of an industrial rule-based manufacturing system using REX
University of Skövde.
University of Skövde.
Mälardalen University, School of Innovation, Design and Engineering. (IS)ORCID iD: 0000-0003-4040-3480
Volvo Information Technology, Skövde.
2008 (English)In: CEUR Workshop Proceedings, vol 412, 2008Conference paper, Published paper (Refereed)
Abstract [en]

Formal methods are not used in their full potential for enhancing software quality in industry. We argue that seamless support in a high-level specification tool is a viable way to provide system designers with powerful and paradigm specific formal verification techniques. Event condition action (ECA) rules can be used to model and implement reactive behavior in, for example, the semantic web. Independently of target system, the behavior of rule-based systems are known to be hard to analyze. The REX tool is a rule-based front-end to the timed automata CASE-tool Uppaal. The model-checker in Uppaal is used by REX enabling seamless support for model-checking rule-based specifications. This paper presents experiences from modeling and verifying a system of industrial complexity as interacting rules using REX. We conclude that repeatedly performing formal analysis when constructing a system with interacting rules is a viable way of coping with the complexity of the model. Additionally, we present an implemented algorithm for optimizing the model to reduce the effect of state-space explosion.

Place, publisher, year, edition, pages
2008.
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:mdh:diva-7230OAI: oai:DiVA.org:mdh-7230DiVA, id: diva2:237240
Conference
1st Workshop on Complex Event Processing for the Future Internet, iCEP 2008; Vienna; Austria; 28 September 2008 through 28 September 2008
Available from: 2009-09-25 Created: 2009-09-25 Last updated: 2013-12-03Bibliographically approved

Open Access in DiVA

No full text in DiVA

Authority records BETA

Pettersson, Paul

Search in DiVA

By author/editor
Pettersson, Paul
By organisation
School of Innovation, Design and Engineering
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

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

Direct link
Cite
Citation style
  • apa
  • 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