From Java to real-time Java: a model-driven methodology with automated toolchain (invited paper)

Chang, Wanli; Zhao, Shuai; Wei, Ran; Wellings, Andy; Burns, Alan

doi:10.1145/3316482.3326360

Cited by 4 publications

(4 citation statements)

References 33 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Finally, although fully functional MrsP implementations are available in several real-world operating systems, the requirement for migrations could impose difficulty to the protocol implementation in practice (Catellani et al, 2015;Shi et al, 2017) and raise race conditions . Therefore, an implementation guide for MrsP (in particular, a guide for realising the helping mechanism) could greatly prompt the use of this protocol in real-world systems and applications (Chang et al, 2019). 86520-C3-2-R).…”

Section: Discussionmentioning

confidence: 99%

A complete run-time overhead-aware schedulability analysis for MrsP under nested resources

Zhao

Garrido

Wei

et al. 2020

Journal of Systems and Software

Self Cite

View full text Add to dashboard Cite

Multiprocessor Resource Sharing Protocol (MrsP) is a hard real-time multiprocessor resource sharing protocol for fully partitioned fixed-priority systems, and adopts a novel helping mechanism to allow task migrations during resource accessing. Previous research focusing on analysing MrsP systems have delivered two forms of timing analysis which effectively bound response time and migration cost of tasks under MrsP, and have demonstrated advantages of this protocol. An adjustable non-preemptive section is also introduced that effectively reduces the number of migrations needed during each resource access. However, these analysis methods are only applicable if a non-nested resource accessing model is assumed. In addition, there is no clear approach towards the configuration of the non-preemptive section length, and the computation cost for applying the analysis remains unknown. In this paper, we extend the MrsP analysis for systems with nested resources. Major run-time costs incurred by MrsP tasks are also taken into account to form a complete run-time cost-aware schedulability analysis. In addition, recommendations towards non-preemptive section configuration are given from both analytic and empiric perspectives. Finally, a set of evaluations are conducted to investigate schedulability of MrsP under nested resources and the cost for applying the proposed analysis. As a result of this paper, the schedulability test for MrsP is complete and the computation costs of its use are now understood.

show abstract

Section: Discussionmentioning

confidence: 99%

A complete run-time overhead-aware schedulability analysis for MrsP under nested resources

Zhao

Garrido

Wei

et al. 2020

Journal of Systems and Software

Self Cite

View full text Add to dashboard Cite

show abstract

“…A good summary of current tools and toolchains in the Cyber-Physical SoS (CPSoS) domain can be found in [14]. A good example of integrating MBSE to the toolchain for software development is [15]. This approach can be expanded for CPSoS -by also having feedback from the live system changes to the model changes -is described by [16].…”

Section: Related Workmentioning

confidence: 99%

Dynamic Execution of Engineering Processes in Cyber-Physical Systems of Systems Toolchains

Montori,

Tatara,

Varga

2024

IEEE Trans. Automat. Sci. Eng.

View full text Add to dashboard Cite

Engineering tools support the process of creating, operating, maintaining, and evolving systems throughout their lifecycle. Toolchains are sequences of tools that build on each others' output during this procedure. The complete chain of tools itself may not even be recognized by the humans who utilize them, people may just recognize the right tool being used at the right place in time. Modern engineering processes, however, do not value such ad-hoc choice of tooling, because of their uncontrolled nature. Building upon the Extended Automation Engineering Model defined by the IEC 81346 standard, this paper proposes to automate the toolchain building and execution process for Cyber-Physical System of Systems (CPSoS), utilizing key principles of the Eclipse Arrowhead framework. The proposed toolchain automation solution addresses issues such as tool interoperability, interaction, automation, and dynamic choreography. The feasibility of this set of integrated concepts is validated through an Arrowhead-based toolchain choreography demonstration.Note to Practitioners-The paper discusses approaches to the automated execution of various industry-related processes. As the processes are becoming more complex and involve numerous systems which have to be orchestrated, a simple and preprogrammed workflow is not enough anymore. Therefore, building on top of the principles of the Eclipse Arrowhead framework, an adequate model of toolchains, allowing for their automated execution, is proposed. Different approaches to supervision of toolchain execution are discussed showing the benefits of reaching higher automation levels. Further, four adoption levels are introduced, which are a measure of the toolchain automation progress. Finally, a simplified demonstrator is shown and steps to elevate it to higher adoption levels are highlighted. To ensure that the approach is industry-oriented, several examples of how the proposed methodology can be used in the industrial context are discussed.

show abstract

“…An initial attempt to automate the development of real-time Java applications based on MDE has been made in [17], which proposes a toolchain that transfers standard Java applications into real-time ones by RTSJ. However, transformation is only provided from certain basic elements in Java (e.g., Java threads to RTSJ threads), and it is not a comprehensive approach for automating the transformation of the entire run-time environment.…”

Section: Introductionmentioning

confidence: 99%

“…The output software is in full compliance to the RTSJ speciication, with dependencies on the RTSJ runtime environment supporting scheduling, memory management, resource sharing, asynchrony, etc. In comparison to [17], asynchronous event handling as a major component in Java is included, and asynchronous transfer of control is enabled to make a comprehensive automated transformation of the entire run-time environment. The second one allows users to directly generate a RTSJ-compliant application template with a light-weight modelling language, where users can deine customised real-time properties (e.g., scheduling parameters and resource sharing methods) for their objects in these RTSJ models.…”

Section: Introductionmentioning

confidence: 99%

Development Automation of Real-Time Java

Chang

Wei

Zhao

et al. 2020

ACM Trans. Embed. Comput. Syst.

Self Cite

View full text Add to dashboard Cite

Many applications in emerging scenarios, such as autonomous vehicles, intelligent robots, and industrial automation, are safety-critical with strict timing requirements. However, the development of real-time systems is error-prone and highly dependent on sophisticated domain expertise, making it a costly process. This paper utilises the principles of model-driven engineering (MDE) and proposes two methodologies to automate the development of real-time Java applications. The irst one automatically converts standard time-sharing Java applications to real-time Java applications, using a series of transformations. It is in line with the observed industrial trend, such as for the big data technology, of redeveloping existing software without the real-time notion to realise the real-time features. The second one allows users to automatically generate real-time Java application templates with a lightweight modelling language, which can be used to deine the real-time properties Ð essentially a synthesis process. This paper opens up a new research direction on development automation of real-time programming languages and inspires many research questions that can be jointly investigated by the embedded systems, programming languages as well as MDE communities. CCS Concepts: • Computer systems organization → Real-time systems; • Software and its engineering → Software notations and tools.

show abstract

From Java to real-time Java: a model-driven methodology with automated toolchain (invited paper)

Cited by 4 publications

References 33 publications

A complete run-time overhead-aware schedulability analysis for MrsP under nested resources

A complete run-time overhead-aware schedulability analysis for MrsP under nested resources

Dynamic Execution of Engineering Processes in Cyber-Physical Systems of Systems Toolchains

Development Automation of Real-Time Java

Contact Info

Product

Resources

About