Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- research-articleNovember 2023
Design and implementation of a real-time onboard system for a stratospheric balloon mission using commercial off-the-self components and a model-based approach
Computers and Electrical Engineering (CENG), Volume 111, Issue PBhttps://doi.org/10.1016/j.compeleceng.2023.108953Highlights- Onboard software (OBSW) of HERCCULES mission that characterize the convective heat and radiative environment in the stratosphere.
- Commercial off-the-shelf hardware and software using a Raspberry Pi 4B as an OBC with Linux OS and the ...
Stratospheric balloons have emerged as an affordable and flexible alternative to traditional spacecrafts as they are implemented using commercial off-the-shelf (COTS) equipment without following strict methodologies. HERCCULES is a stratospheric ...
Graphical abstractDisplay Omitted
- research-articleMay 2023
From low-level programming to full-fledged industrial model-based development: the story of the Rubus Component Model
Software and Systems Modeling (SoSyM) (SPSSM), Volume 22, Issue 4Pages 1085–1097https://doi.org/10.1007/s10270-023-01107-3AbstractDeveloping distributed real-time systems is a complex task that has historically entailed specialized handcraft. In this paper, we propose a retrospective on the (r)evolutionary changes that led to the transition from low-level programming to ...
- research-articleApril 2023
How do I find reusable models?
Software and Systems Modeling (SoSyM) (SPSSM), Volume 23, Issue 1Pages 85–102https://doi.org/10.1007/s10270-023-01103-7AbstractModels play a major role in model-based development and serve as the main artifacts that stakeholders aim to achieve. As it is difficult to develop good-quality models, repositories of models start emerging for reuse purposes. Yet, these ...
- research-articleAugust 2022
Consistency management in industrial continuous model-based development settings: a reality check
Software and Systems Modeling (SoSyM) (SPSSM), Volume 21, Issue 4Pages 1511–1530https://doi.org/10.1007/s10270-022-01000-5AbstractThis article presents the state of practice of consistency management in thirteen industrial model-based development settings. Our analysis shows a tight coupling between adopting shorter development cycles and increasingly pressing consistency ...
- research-articleMarch 2022
Replicability of experimental tool evaluations in model-based software and systems engineering with MATLAB/Simulink
Innovations in Systems and Software Engineering (SPISSE), Volume 20, Issue 3Pages 209–224https://doi.org/10.1007/s11334-022-00442-wAbstractResearch on novel tools for model-based development differs from a mere engineering task by not only developing a new tool, but by providing some form of evidence that it is effective. This is typically achieved by experimental evaluations. ...
-
- research-articleFebruary 2022
Enabling automated integration of architectural languages: An experience report from the automotive domain
Journal of Systems and Software (JSSO), Volume 184, Issue Chttps://doi.org/10.1016/j.jss.2021.111106AbstractModern automotive software systems consist of hundreds of heterogeneous software applications, belonging to separated function domains and often developed within distributed automotive ecosystems consisting of original equipment ...
Graphical abstractDisplay Omitted
Highlights- A mapping scheme for the translation of an AMALTHEA into a RCM architecture.
- ...
- research-articleDecember 2021
A big data-centric architecture metamodel for Industry 4.0
Future Generation Computer Systems (FGCS), Volume 125, Issue CPages 263–284https://doi.org/10.1016/j.future.2021.06.020AbstractThe effective implementation of Industry 4.0 requires the reformulation of industrial processes in order to achieve the vertical and horizontal digitalization of the value chain. For this purpose, it is necessary to provide tools that ...
Highlights- A reference architecture for Industry 4.0 applications.
- A metamodel for the ...
- research-articleOctober 2021
CPSDebug: Automatic failure explanation in CPS models
International Journal on Software Tools for Technology Transfer (STTT) (STTT), Volume 23, Issue 5Pages 783–796https://doi.org/10.1007/s10009-020-00599-4AbstractDebugging cyber-physical system (CPS) models is a cumbersome and costly activity. CPS models combine continuous and discrete dynamics—a fault in a physical component manifests itself in a very different way than a fault in a state machine. ...
- research-articleDecember 2020
Online Reconfiguration of Distributed Robot Control Systems for Modular Robot Behavior Implementation
Journal of Intelligent and Robotic Systems (JIRS), Volume 100, Issue 3-4Pages 1283–1308https://doi.org/10.1007/s10846-020-01234-9AbstractThe use of autonomous robots in areas that require executing a broad range of different tasks is currently hampered by the high complexity of the software that adapts the robot controller to different situations the robot would face. Current robot ...
- ArticleSeptember 2019
On the Development of Context-Aware Augmented Reality Applications
AbstractAugmented Reality (AR) is a technique that enables users to interact with their physical environment through the overlay of digital information. With the spread of AR applications in various domains (e.g. product design, manufacturing or ...
- articleJuly 2019
Novel approach to establish model-based development and virtual commissioning in practice
Engineering with Computers (ENGC), Volume 35, Issue 3Pages 741–754https://doi.org/10.1007/s00366-018-0622-6Due to several challenges such as faster development cycles or growing customer demands, the engineering of machines and plants is becoming increasingly complex. Methods such as model-based development and virtual commissioning (i.e. an early ...
- research-articleMay 2019
Impact analysis of model-based development in avionics software production
SBSI '19: Proceedings of the XV Brazilian Symposium on Information SystemsArticle No.: 55, Pages 1–8https://doi.org/10.1145/3330204.3330265Normally, the development of avionics software as part of embedded systems follows guidelines defined by the industry that defines objectives and activities that are critical for enabling and approval for operation. The DO-331 is one out of these ...
- ArticleNovember 2018
Programming Is Modeling
Leveraging Applications of Formal Methods, Verification and Validation. ModelingPages 150–161https://doi.org/10.1007/978-3-030-03418-4_10AbstractThis paper considers the relationship between modeling and programming in the context of embedded-software development. In this domain, design and development techniques such as model-based development and model-driven design are often used to ...
- ArticleDecember 2018
Software Support for Coherent Prototyping of 3D Gesture Interactions
AbstractWhen prototyping applications that include touchless 3D gesture interaction three design matters must be taken into consideration: the gestures the user must execute, the visual representation and the dialog flow. Ideally, these aspects should be ...
- ArticleJune 2018
Datalyzer: Streaming Data Applications Made Easy
AbstractNowadays, streaming data are continuously generated from thousands of sources, including social networks, mobile apps, sensors, e-commerce transactions, and many more. Hence, it becomes very useful to build applications able to process these data, ...
- research-articleFebruary 2018
Industrial Experience with the Migration of Legacy Models using a DSL
RWDSL2018: Proceedings of the Real World Domain Specific Languages Workshop 2018Article No.: 1, Pages 1–10https://doi.org/10.1145/3183895.3183897Software departments of companies that exist for several decades often have to deal with legacy models. Important business assets have been modelled with tools that are no longer preferred within the company. Manually remodelling these models with a new ...
- articleFebruary 2018
Software engineering practices and Simulink: bridging the gap
- Vera Pantelic,
- Steven Postma,
- Mark Lawford,
- Monika Jaskolka,
- Bennett Mackenzie,
- Alexandre Korobkine,
- Marc Bender,
- Jeff Ong,
- Gordon Marks,
- Alan Wassyng
International Journal on Software Tools for Technology Transfer (STTT) (STTT), Volume 20, Issue 1Pages 95–117https://doi.org/10.1007/s10009-017-0450-9Although widely used in embedded systems design, Matlab/Simulink is not considered a state-of-the-art design environment by the software engineering community. This paper is aimed at improving design with Simulink from the software engineering ...
- articleMay 2017
Model-based tool support for Tactical Data Links: an experience report from the defence domain
Software and Systems Modeling (SoSyM) (SPSSM), Volume 16, Issue 2Pages 559–586https://doi.org/10.1007/s10270-015-0480-2The Tactical Data Link (TDL) allows the exchange of information between cooperating platforms as part of an integrated command and control ($$C^2$$C2) system. Information exchange is facilitated by adherence to a complex, message-based protocol defined ...
- ArticleJune 2016
Lessons Learned in a Journey Toward Correct-by-Construction Model-Based Development
Proceedings of the 21st Ada-Europe International Conference on Reliable Software Technologies --- Ada-Europe 2016 - Volume 9695Pages 113–128https://doi.org/10.1007/978-3-319-39083-3_8This paper discusses lessons learned in the attempt to apply the long-known principles of correct-by-construction CbyC first promoted by Dijkstra, to modern model-based development practices. We recall the intent and scrutinize the outcomes of a string ...