liu.seSearch for publications in DiVA
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • 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
Analysis of Intent Specification and SystemUpgrade Traceability
Linköping University, Department of Computer and Information Science.
2003 (Swedish)Independent thesis Basic level (professional degree)Student thesisAlternative title
Analys av Intent Specification och spårbarhet vid systemuppgradering (English)
Abstract [en]

The impact of computer programs in safety-critical systems has increased in the past decades and computer-based systems can now be found in a wide range of applications.

A new approach for developing dependable systems is documenting all design rationale that affects safety using Intent Specifications. A recent approach for developing complex systems efficiently and in an upgradeable manner is Component-Based System Engineering. In this thesis, these approaches are combined in the development and upgrade of a Remote Robot Control Unit by using the tool SpecTRM.

The case study showed that Intent Specifications and CBSE could successfully be combined. The tool SpecTRM was also studied during this work. It showed that traceability is of great importance during system upgrades. Since SpecTRM does not support formal verification of safety properties in design models, the SpecTRM-RL models were translated to Esterel code. Further analysis showed that functional verification can be efficient and useful when using the automatic model-checking tool available in Esterel Studio. This work also proposes a practical guideline for system upgrades in component-based systems, presented as the Sigma model.

The work also showed some shortcomings. First of all, the tool SpecTRM is at an early development stage and not yet mature for industrial use. Secondly, neither of the two languages SpecTRM-RL and Esterel was expressive enough for some of the numerical computations and data-exchange structures needed for navigation in the system. Finally, the verifier was not able to prove any data properties since valued signals are abstracted into pure signals during verification in Esterel Studio.

Place, publisher, year, edition, pages
Institutionen för datavetenskap , 2003. , 124 p.
Keyword [en]
Datalogi, Intent Specification, SpecTRM, Traceability, Verification, Component-Based Systems Engineering
Keyword [sv]
Datalogi
National Category
Computer Science
Identifiers
URN: urn:nbn:se:liu:diva-2108ISRN: LITH-IDA-EX--03/074--SEOAI: oai:DiVA.org:liu-2108DiVA: diva2:19437
Uppsok
teknik
Available from: 2004-04-01 Created: 2004-04-01

Open Access in DiVA

fulltext(515 kB)428 downloads
File information
File name FULLTEXT01.pdfFile size 515 kBChecksum SHA-1
5322f254846ecf8b5a0ce7c35783772ba4bf6c69b0f7bcd509a96394139fada0fbc24372
Type fulltextMimetype application/pdf

By organisation
Department of Computer and Information Science
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 428 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: 259 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • 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