A systematic methodology to migrate complex real-time software systems to multi-core platforms

Salman, Shaik Mohammed; Papadopoulos, Alessandro Vittorio; Mubeen, Saad; Nolte, Thomas

doi:10.1016/j.sysarc.2021.102087

Cited by 10 publications

(3 citation statements)

References 23 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Thus, the challenge is to be able to derive the information about 90 the functional behaviors and the runtime dynamics of a system. In particular, as multi-core processors are widely used in safety-critical software [15], the reverse engineering of multi-task synchronization, mutex, communication, and task scheduling has become an important problem.…”

Section: Research Problemsmentioning

confidence: 99%

C2AADL_Reverse: A Model-Driven Reverse Engineering Approach for Development and Verification of Safety-Critical Software

Yang,

Qiu,

Zhou

et al. 2023

Ada Lett.

View full text Add to dashboard Cite

The safety-critical system communities have been struggling to manage and maintain their legacy software systems because upgrading such systems has been a complex challenge. To overcome or reduce this problem, reverse engineering has been increasingly used in safety-critical systems. This paper proposes C2AADL_Reverse, a model-driven reverse engineering approach for safety-critical software development and verification. C2AADL_Reverse takes multi-task C source code as input, and generates AADL (Architecture Analysis and Design Language) model of the legacy software systems. Compared with the existing works, this paper considers more reversed construction including AADL component structure, behavior, and multi-threaded run-time information. Moreover, two types of activities are proposed to ensure the correctness of C2AADL_Reverse. First, it is necessary to validate the reverse engineering process. Second, the generated AADL models should conform to desired critical properties. We propose the verification of the reverse-engineered AADL model by using UPPAAL to establish component-level properties and the Assume Guarantee REasoning Environment (AGREE) to perform compositional verification of the architecture. This combination of verification tools allows us to iteratively explore design and verification of detailed behavioral models, and to scale formal analysis to large models. In addition, the prototype tool and the evaluation of C2AADL_Reverse using a real-world aerospace case study are presented.

show abstract

Section: Research Problemsmentioning

confidence: 99%

C2AADL_Reverse: A Model-Driven Reverse Engineering Approach for Development and Verification of Safety-Critical Software

Yang,

Qiu,

Zhou

et al. 2023

Ada Lett.

View full text Add to dashboard Cite

show abstract

“…The goal of resource management and configuration techniques in the FORA FCP is to provide the necessary computation and communication resources to all applications, balance the overall resource utilization landscape, and provide realtime guarantees for critical applications [15]. To this end, the FORA FCP uses application deployment techniques [26] for submitting applications to the FCP and application migration methods [27] for migrating application between FNs. The FORA FCP provides cross-layer resource allocation mechanism [28], so that resources all over the FCP can be exploited if necessary and based on the demands of these applications, especially in the cases where the FCP is dynamic, i.e, FNs may enter and leave the FCP.…”

Section: Resource Management Orchestration and Configurationmentioning

confidence: 99%

The FORA European Training Network on Fog Computing for Robotics and Industrial Automation

Barzegaran

Pop

2023

2023 Design, Automation &Amp; Test in Europe Conference &Amp; Exhibition (DATE)

View full text Add to dashboard Cite

Fog Computing for Robotics and Industrial Automation, FORA, was a European Training Network which focused on future industrial automation architectures and applications based on an emerging technology, called Fog Computing. The research project focused on research related to Fog Computing with applicability to industrial automation and manufacturing.The main outcome of the FORA project was the development of a deterministic Fog Computing Platform (FCP) to be used for implementing industrial automation and robotics solutions for Industry 4.0. This paper reports on the scientific outcomes of the FORA project. FORA has proposed a reference system architecture for Fog Computing, which was published as an open Architecture Analysis Design Language (AADL) model. The technologies developed in FORA include fog nodes and hypervisors, resource management mechanisms and middleware for deploying scalable Fog Computing applications, while guaranteeing the non-functional properties of the virtualized industrial control applications, and methods and processes for assuring the safety and security of the FCP. Several industrial use cases were used to evaluate the suitability of the FORA FCP for the Industrial IoT area, and to demonstrate how the platform can be used to develop industrial control applications and data analytics applications.

show abstract

“…It is proposed that the verticalization framework introduced by Fink and Markovich [7] can be transferred to the case of B2B platforms and is ultimately applicable to describe verticalization approaches of IIoT platforms as a manifestation of B2B platforms. This can be justified by the close similarity of B2B platforms with enterprise software systems, as the latter nowadays often describe legacy systems that can be migrated to modern platforms [45].…”

Section: Application Of the Verticalization Framework To The Iiotmentioning

confidence: 99%

Conceptualizing IIoT Platform Ecosystem Verticalization

Dietlmeier

Floetgen

Bock

et al. 2022

2022 IEEE 8th World Forum on Internet of Things (WF-IoT)

View full text Add to dashboard Cite

In this paper, a research gap at the interface of ecosystem theory, platforms and market segmentation strategies is addressed by conceptualizing the verticalization of Industrial Internet of Things (IIoT) platforms and their surrounding ecosystems. After an introduction to business-to-business (B2B) platform ecosystems and IIoT platforms as manifestation of B2B platforms, the concept of verticalization as an example for a market segmentation strategy in the digital domain is discussed. Based on an existing generic verticalization framework, the concept will be transferred from its original application in enterprise software systems to the IIoT. A hypothesis is derived that postulates a causal relationship between IIoT platform ecosystem verticalization and the platform owner's competitive advantage for commercializing an IIoT platform in the market. The research contributes to literature on platforms in information systems and strategic management research by proposing platform ecosystem verticalization as a novel verticalization property. Applied as business strategy, this might enable a commercially successful implementation of IIoT platforms.

show abstract

A systematic methodology to migrate complex real-time software systems to multi-core platforms

Cited by 10 publications

References 23 publications

C2AADL_Reverse: A Model-Driven Reverse Engineering Approach for Development and Verification of Safety-Critical Software

C2AADL_Reverse: A Model-Driven Reverse Engineering Approach for Development and Verification of Safety-Critical Software

The FORA European Training Network on Fog Computing for Robotics and Industrial Automation

Conceptualizing IIoT Platform Ecosystem Verticalization

Contact Info

Product

Resources

About