Access the full text.
Sign up today, get DeepDyve free for 14 days.
Robert Davis, A. Burns (2011)
A survey of hard real-time scheduling for multiprocessor systemsACM Comput. Surv., 43
A. Burns, A. Wellings (2009)
Real-Time Systems and Programming Languages - Ada, Real-Time Java and C / Real-Time POSIX, Fourth Edition
Wanli Chang, Dip Goswami, S. Chakraborty, Lei Ju, C. Xue, Sidharta Andalam (2017)
Memory-Aware Embedded Control Systems DesignIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 36
J. Barnes, Praxis Limited (1997)
High Integrity Ada: The Spark Approach
Ari Jaaksi (2002)
Developing Mobile Browsers in a Product LineIEEE Softw., 19
C. Tapp (2008)
An Introduction to MISRA CSAE International Journal of Passenger Cars - Electronic and Electrical Systems, 1
(2009)
Remi Schnekenburger, Hubert Dubois, and François Terrier
Ian Gray, Neil Cameron Audsley, Jamie Garside, Yu Chan, Andrew John Wellings (2015)
FPGA-based acceleration for real-time big data systemsProceedings of the 9th HiPEAC Workshop on Reconfigurable Computing.
R. Pawlak, Monperrus Martin, Nicolas Petitprez, Carlos Noguera, L. Seinturier (2016)
SPOON: A library for implementing analyses and transformations of Java source codeSoftware: Practice and Experience, 46
Ana Cavalcanti, Alvaro Miyazawa, A. Wellings, J. Woodcock, Shuai Zhao (2016)
Java in the Safety-Critical Domain
Hai Mei, Ian Gray, A. Wellings (2016)
Real-Time Stream Processing in Java
Shaoshan Liu, Jie Tang, Chao Wang, Quan Wang, J. Gaudiot (2017)
A Unified Cloud Platform for Autonomous DrivingComputer, 50
Juha Kaernae, M. Kelly (2009)
Evaluating the Use of Domain-Specific Modeling in Practice
D. Kolovos, R. Paige, F. Polack (2008)
The Epsilon Transformation Language
C. Agreement (1991)
The Boeing Company
Fridtjof Siebert (2007)
Realtime garbage collection in the JamaicaVM 3.0
(2017)
Safety‐critical Java for embedded systemsConcurrency and Computation: Practice and Experience, 29
Ben Potter, Jane Sinclair, David Till (1991)
Introduction to formal specification and Z
Konstantinos Barmpis, D. Kolovos, Justin Hingorani (2018)
Towards a Framework for Writing Executable Natural Language Rules
Martin Schoeberl, Hans Søndergaard, Bent Thomsen, A. Ravn (2007)
A Profile for Safety Critical Java10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07)
(2008)
EMF: Eclipse Modeling Framework
N. Audsley, A. Burns, M. Richardson, K. Tindell, A. Wellings (1993)
Applying new scheduling theory to static priority pre-emptive schedulingSoftw. Eng. J., 8
No Magic (2007)
MagicDrawRetrieved from https://www.nomagic.com/products/magicdraw.
Wanli Chang, Shuai Zhao, Ran Wei, Andy Wellings, Alan Burns (2019)
From Java to real-time Java: A model-driven methodology with automated toolchainProceedings of the 20th ACM SIGPLAN/SIGBED International Conference on Languages
R. Sonar, Rani Lande (2018)
Javolution-Solution for Real Time Embedded System2018 International Conference on Research in Intelligent and Computing in Engineering (RICE)
Björn Konieczek, Michael Rethfeldt, F. Golatowski, D. Timmermann (2015)
Real-Time Communication for the Internet of Things Using jCoAP2015 IEEE 18th International Symposium on Real-Time Distributed Computing
K. Thramboulidis (2007)
IEC 61499 in Factory Automation
K. Thramboulidis, A. Zoupas (2005)
Real-time Java in control and automation: a model driven development approach2005 IEEE Conference on Emerging Technologies and Factory Automation, 1
(2009)
Papyrus UML: An open source toolset for MDA
D. Schmidt (2006)
Model-Driven Engineering
N. Audsley, Yu Chan, Ian Gray, A. Wellings (2014)
Real-time big data: the Juniper approach
Sparx Systems (2012)
Sparx Systems SysMLRetrieved March 23, 2020 from https://sparxsystems.com/., 23
Wanli Chang, S. Chakraborty (2016)
Resource-aware Automotive Control Systems Design: A Cyber-Physical Systems ApproachFound. Trends Electron. Des. Autom., 10
P. Dibble (2002)
Real-Time Java Platform Programming
Alan Burns, A. Wellings (2007)
Concurrent and real-time programming in Ada
R. Rajkumar (1991)
Synchronization in Real-Time Systems: A Priority Inheritance Approach
Wanli Chang, Shuai Zhao, Ran Wei, A. Wellings, A. Burns (2019)
From Java to real-time Java: a model-driven methodology with automated toolchain (invited paper)Proceedings of the 20th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems
D. Kolovos, Ran Wei, Konstantinos Barmpis (2013)
An Approach for Efficient Querying of Large Relational Datasets with OCL based Languages
Parastoo Mohagheghi, Vegard Dehlen (2008)
Where Is the Proof? - A Review of Experiences from Applying MDE in Industry
Christian Wawersich, Michael Stilkerich, Wolfgang Schröder-Preikschat (2007)
An OSEK/VDX-based Multi-JVM for Automotive Appliances
Fridtjof Siebert (2010)
Concurrent, parallel, real-time garbage-collection
Athanasios Zolotas, Ran Wei, Simos Gerasimou, Horacio Hoyos Rodriguez, Dimitrios S. Kolovos, Richard F. Paige (2018)
Towards automatic generation of UML profile graphical editors for papyrusModelling Foundations and Applications
Shuai Zhao, A. Wellings, Stephan Korsholm (2015)
Supporting Multiprocessors in the Icecap Safety-Critical Java Run-Time EnvironmentProceedings of the 13th International Workshop on Java Technologies for Real-time and Embedded Systems
G. Bollella, James Gosling (2000)
The Real-Time Specification for JavaComputer, 33
L. Hatton (2004)
Safer language subsets: an overview and a case history, MISRA CInf. Softw. Technol., 46
H. Brunelière, Jordi Cabot, Grégoire Dupé, Frédéric Madiot (2014)
MoDisco: A model driven reverse engineering frameworkInf. Softw. Technol., 56
J. Bézivin (2005)
On the unification power of modelsSoftware & Systems Modeling, 4
J. Puente, Jorge Garrido, Juan Zamorano, A. Alonso (2014)
Model-Driven Design of Real-Time Software for an Experimental SatelliteIFAC Proceedings Volumes, 47
Florian Heidenreich, Jendrik Johannes, Mirko Seifert, Christian Wende (2009)
Closing the Gap between Modelling and Java
Wanli Chang, Dip Goswami, S. Chakraborty, A. Hamann (2018)
OS-Aware Automotive Controller Design Using Non-Uniform SamplingACM Transactions on Cyber-Physical Systems, 2
Shuai Zhao, Jorge Garrido, A. Burns, A. Wellings (2017)
New schedulability analysis for MrsP2017 IEEE 23rd International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)
Thomas Henties, James J Hunt, Doug Locke, Kelvin Nilsen, Martin Schoeberl, Jan Vitek (2009)
Java for safety-critical applicationsProceedings of the 2nd International Workshop on the Certification of Safety-critical Software Controlled Systems (SafeCert’09).
Athanasios Zolotas, Ran Wei, Simos Gerasimou, Horacio Hoyos, D. Kolovos, R. Paige (2018)
Automatic generation of UML profile graphical editors for PapyrusSoftware and Systems Modeling, 19
Alan Burns, Andrew J. Wellings (2001)
Real-time Systems and Programming Languages: Ada 95, Real-time Java, and Real-time POSIXPearson Education.
Louis Rose, R. Paige, D. Kolovos, F. Polack (2008)
The Epsilon Generation Language
J. Baker, A. Cunei, Chapman Flack, F. Pizlo, M. Prochazka, J. Vitek, Austin Armbruster, E. Pla, D. Holmes (2006)
A Real-time Java Virtual Machine for Avionics - An Experience Report12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'06)
Austin Armbruster, Jason Baker, Antonio Cunei, Chapman Flack, David Holmes, Filip Pizlo, Edward Pla, Marek Prochazka, Jan Vitek (2007)
A real-time Java virtual machine with applications in avionicsACM Trans. Embed. Comput. Syst., 7
Shuai Zhao, Jorge Garrido, Ran Wei, A. Burns, A. Wellings, J. Puente (2020)
A complete run-time overhead-aware schedulability analysis for MrsP under nested resourcesJ. Syst. Softw., 159
(2016)
Analysable Real-Time Systems: Programmed in Ada
Erik Hu, E. Jenn, Nicolas Valot, A. Alonso (2006)
Safety critical applications and hard real-time profile for Java: a case study in avionics
Ran Wei, T. Kelly, Xiaotian Dai, Shuai Zhao, R. Hawkins (2019)
Model Based System Assurance Using the Structured Assurance Case MetamodelJ. Syst. Softw., 154
L. Sha, R. Rajkumar, J. Lehoczky (1990)
Priority Inheritance Protocols: An Approach to Real-Time SynchronizationIEEE Trans. Computers, 39
Shuai Zhao (2018)
A FIFO spin-based resource control framework for symmetric multiprocessing
A. Burns, A. Wellings, Fengxiang Zhang (2009)
Combining EDF and FP Scheduling: Analysis and Implementation in Ada 2005
Ian Gray, Yu Chan, Jamie Garside, N. Audsley, A. Wellings (2015)
FPGA-based hardware acceleration for Real-Time Big Data systems
Shaoshan Liu, Jie Tang, Chao Wang, Quan Wang, J. Gaudiot (2017)
Implementing a Cloud Platform for Autonomous DrivingArXiv, abs/1704.02696
T. Kelly (1998)
Arguing Safety - A Systematic Approach to Managing Safety Cases
R. Rajkumar (1991)
Synchronization in Real-Time Systems
B. Wichmann (1997)
High Integrity Ada
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 article utilises the principles of model-driven engineering (MDE) and proposes two methodologies to automate the development of real-time Java applications. The first 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 define the real-time properties—essentially a synthesis process. This article 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.
ACM Transactions on Embedded Computing Systems (TECS) – Association for Computing Machinery
Published: Sep 26, 2020
Keywords: Real-time programming languages
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.