Automated Code Generation For Safety-Related Applications: A Case Study

Automated Code Generation For Safety-Related Applications: A Case Study

This paper addresses issues relating to the suitability of using automated code generation(ACG) technologies for the development of real-time, safety-critical systems. This researchexplored the characteristics of model-based software development methodologies and the automatedcode generation tools t...

Full description

Bibliographic Details
Main Authors:	David P. Gluch, Andrew J. Kornecki
Format:	Article
Language:	English
Published:	AGH University of Science and Technology Press 2007-01-01
Series:	Computer Science
Subjects:	Software Enginnering Process; Software Tools; Automatic Code Generation
Online Access:	http://journals.agh.edu.pl/csci/article/download/199/133

Similar Items

A Code Generator for Software Component Services in Smart Devices
by: Ahmad, Manzoor
Published: (2010)

Generation of Software Test Data from the Design Specification Using Heuristic Techniques. Exploring the UML State Machine Diagrams and GA Based Heuristic Techniques in the Automated Generation of Software Test Data and Test Code.
by: Doungsa-ard, Chartchai
Published: (2012)

Visualizing Java Code Smells with Dotplots
by: Jefferson, Alvin Hayes
Published: (2008)

Design and Implementation of a Web-Based Application for Code Smells Repository
by: Lida Bamizadeh*, et al.
Published: (2021-01-01)

Automated code generation support for BI with MDA TALISMAN
by: Óscar Sanjuan-Martínez, et al.
Published: (2009-12-01)

Software architecture for scalable computing systems with automatic granularity selection of executable code
by: Mikhail Pavlov, et al.
Published: (2015-04-01)

Um metodo para modelagem de exceções em desenvolvimento baseado em componentes
by: Brito, Patrick Henrique da Silva
Published: (2005)

Automatic test generation for industrial control software
by: Enoiu, Eduard
Published: (2016)

B₁₂P₂: improved epitaxial growth and evaluation of α irradiation on its electrical transport properties
by: Frye, Clint D.
Published: (2016)

Code Generation from UML Model: State of the Art and Practical Implications
by: Bajovs Andrejs, et al.
Published: (2013-06-01)

A Synergistic Approach to Software Requirements Generation: The Synergistic Requirements Generation Model (SRGM) and, An Interactive Tool for Modeling SRGM (itSRGM)
by: Sud, Rajat
Published: (2014)

Automated Source Code Generation and Auto-Completion Using Deep Learning: Comparing and Discussing Current Language Model-Related Approaches
by: Juan Cruz-Benito, et al.
Published: (2021-01-01)

Design and Implementation of the ModelicaML Code Generator Using Acceleo 3.X
by: Kara, Ibrahim Bumin
Published: (2015)

Use of fourth generation languages in medical computing.
Published: (1985)

A Process For Performance Evaluation Of Real-Time Systems
by: Andrew J. Kornecki, et al.
Published: (2003-12-01)

THE COMPETENCES DEVELOPED BY THE PETROLEUM SEGMENT EQUIPMENT INSPECTION ENGINEER
by: Jancler Adriano Pereira Nicácio, et al.
Published: (2018-10-01)

A Development Process for Enterprise Information Systems Based on Automatic Generation of the Components
by: Adrian ALEXANDRESCU
Published: (2008-01-01)

SPLMT-TE: a software product lines system test case tool
by: Lima Neto, Crescencio Rodrigues
Published: (2014)

ertCPN: The adaptations of the coloured Petri-Net theory for real-time embedded system modeling and automatic code generation
by: Wattanapong Kurdthongmee
Published: (2003-05-01)

Automatic Acquisition of Annotated Training Corpora for Test-Code Generation
by: Magdalena Kacmajor, et al.
Published: (2019-02-01)

TESMA: Requirements and Design of a Tool for Educational Programs †
by: Nicolas Guelfi, et al.
Published: (2017-03-01)

An overview of some tools for automated testing of software applications
by: Flaviu FUIOR
Published: (2019-09-01)

Code smells detection via modern code review: a study of the OpenStack and Qt communities
by: Blincoe, K., et al.
Published: (2022)

An Environment for Automatic Generation of Code Optimizers
by: Paleri, Vineeth Kumar
Published: (2005)

Model checking of software control systems
by: Sharygina, Natalia Yevgenyevna
Published: (2008)

Code Coverage Visualization on Web-Based Testing Tool for Java Programs
by: Mochamad Chandra Saputra, et al.
Published: (2015-08-01)

AnsibleMetrics: A Python library for measuring Infrastructure-as-Code blueprints in Ansible
by: Stefano Dalla Palma, et al.
Published: (2020-07-01)

Strip-Miner: Automatic Bug Detection in Large Software Code with Low False Positive Rate
by: Ibrar, Fahad
Published: (2020)

Automatic Java Code Generator for Regular Expressions and Finite Automata
by: Memeti, Suejb
Published: (2012)

An intention-based service design discipline for the product-service architecture.
by: Diogo de Souza Dutra
Published: (2016)

An intention-based service design discipline for the product-service architecture.
by: Dutra, Diogo de Souza
Published: (2016)

Stimuli-SoS: a model-based approach to derive stimuli generators for simulations of systems-of-systems software architectures
by: Valdemar Vicente Graciano Neto, et al.
Published: (2017-10-01)

Cnerator: A Python application for the controlled stochastic generation of standard C source code
by: Francisco Ortin, et al.
Published: (2021-07-01)

The Technique of Binary Code Decompilation and Its Application in Information Security Sphere
by: M. O. Shudrak, et al.
Published: (2012-12-01)

About Detection of Code Reuse Attacks
by: Yury V. Kosolapov
Published: (2019-06-01)

Code generation for accurate array redistribution on automatic distributed-memory parallelization
by: Bo Zhao, et al.
Published: (2014-01-01)

Studying logging practice in test code
by: Lamothe, M., et al.
Published: (2022)

HORIZONTAL AUTOMATED STORAGE AND RETRIEVAL SYSTEM
by: Jacek Stanisław Tutak, et al.
Published: (2017-03-01)

Architecture Descriptions for Retargetable Code Translation
by: Ravindra, D V
Published: (2005)

Translating Discrete Time SIMULINK to SIGNAL
by: Messaoud, Safa
Published: (2014)