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
Towards Mapping Control Theory and Software Engineering Properties using Specification Patterns
University of Gothenburg, Sweden.
University of Gothenburg, Sweden.
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0002-1364-8127
Gran Sasso Science Institute, Italy.
Show others and affiliations
2021 (English)In: 2nd IEEE International Conference on Autonomic Computing and Self-Organizing Systems ACSOS 2021, Washington DC, United States, 2021, p. 281-286Conference paper, Published paper (Refereed)
Abstract [en]

A traditional approach to realize self-adaptation in software engineering (SE) is by means of feedback loops. The goals of the system can be specified as formal properties that are verified against models of the system. On the other hand, control theory (CT) provides a well-established foundation for designing feedback loop systems and providing guarantees for essential properties, such as stability, settling time, and steady state error. Currently, it is an open question whether and how traditional SE approaches to self-adaptation consider properties from CT. Answering this question is challenging given the principle differences in representing properties in both fields. In this paper, we take a first step to answer this question. We follow a bottom up approach where we specify a control design (in Simulink) for a case inspired by Scuderia Ferrari (F1) and provide evidence for stability and safety. The design is then transferred into code (in C) that is further optimized. Next, we define properties that enable verifying whether the control properties still hold at code level. Then, we consolidate the solution by mapping the properties in both worlds using specification patterns as common language and we verify the correctness of this mapping. The mapping offers a reusable artifact to solve similar problems. Finally, we outline opportunities for future work, particularly to refine and extend the mapping and investigate how it can improve the engineering of self-adaptive systems for both SE and CT engineers.

Place, publisher, year, edition, pages
Washington DC, United States, 2021. p. 281-286
Keywords [en]
Self-adaptive systems, feedback loops, control theory, properties, mapping of properties.
National Category
Engineering and Technology Computer Systems
Identifiers
URN: urn:nbn:se:mdh:diva-56755DOI: 10.1109/ACSOS-C52956.2021.00067ISI: 000802071800048Scopus ID: 2-s2.0-85123446734ISBN: 978-1-6654-4393-7 (electronic)OAI: oai:DiVA.org:mdh-56755DiVA, id: diva2:1620819
Conference
2nd IEEE International Conference on Autonomic Computing and Self-Organizing Systems ACSOS 2021, 27 Sep 2021, Washington DC, United States
Projects
PSI: Pervasive Self-Optimizing Computing InfrastructuresAvailable from: 2021-12-16 Created: 2021-12-16 Last updated: 2022-06-29Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Papadopoulos, Alessandro

Search in DiVA

By author/editor
Papadopoulos, Alessandro
By organisation
Embedded Systems
Engineering and TechnologyComputer Systems

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

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