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

Direct link
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]
National Category
Computer Science
URN: urn:nbn:se:liu:diva-2108ISRN: LITH-IDA-EX--03/074--SEOAI: diva2:19437
Available from: 2004-04-01 Created: 2004-04-01

Open Access in DiVA

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

By organisation
Department of Computer and Information Science
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 391 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

Total: 251 hits
ReferencesLink to record
Permanent link

Direct link