https://www.mdu.se/

mdu.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
A Simple and Flexible Timing Constraint Logic
Mälardalen University, School of Innovation, Design and Engineering. (IS)ORCID iD: 0000-0001-5297-6548
Luleå University of Technology.
2012 (English)In: Lecture Notes in Computer Science, vol, 7610, Springer, 2012, p. 80-95Chapter in book (Refereed)
Abstract [en]

Formats for describing timing behaviors range from fixed menus of standard patterns, to fully open-ended behavioral definitions; of which some may be supported by formal semantic underpinnings, while others are better characterized as primarily informal notations. Timing descriptions that allow flexible extension within a fully formalized framework constitute a particularly interesting area in this respect. We present a small logic for expressing timing constraints in such an open-ended fashion, sprung out of our work with timing constraint semantics in the TIMMO-2-USE project. The result is a non-modal, first-order logic over reals and sets of reals, which references the constrained objects solely in terms of event occurrences. Both finite and infinite behaviors may be expressed, and a core feature of the logic is the ability to restrict any constraint to just the finite ranges when a certain system mode is active. Full syntactic and semantic definitions of our formula language are given, and as an indicator of its expressiveness, we show how to express all constraint forms currently defined by TIMMO-2-USE and AUTOSAR. A separate section deals with the support for mode-dependencies that have been proposed for both frameworks, and we demonstrate by an example how our generic mode-restriction mechanism formalizes the details of such an extension.

Place, publisher, year, edition, pages
Springer, 2012. p. 80-95
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 7610
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:mdh:diva-17318DOI: 10.1007/978-3-642-34032-1_12Scopus ID: 2-s2.0-84868273940ISBN: 978-364234031-4 (print)OAI: oai:DiVA.org:mdh-17318DiVA, id: diva2:579649
Note

5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change, ISoLA 2012; Heraklion, Crete;15 October 2012 through 18 October 2012;

Available from: 2012-12-20 Created: 2012-12-20 Last updated: 2016-05-17Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Lisper, Björn

Search in DiVA

By author/editor
Lisper, Björn
By organisation
School of Innovation, Design and Engineering
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 44 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