Model Driven Design of Reliable Robot Control Programs Using the jABC

Jörges, Sven; Kubczak, Christian; Pageau, F.; Margaria, Tiziana

doi:10.1109/ease.2007.17

Cited by 24 publications

(13 citation statements)

References 19 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The basic idea already presented in [37] was to model such control programs graphically with jABC, which had the advantage of being very intuitive and powerful, and of allowing us to verify these programs via model checkingnot possible in the original Lego environment. Accordingly, we needed a code generator able to translate such models into code for the leJOS API that is executable on the RCX.…”

Section: Lejos Generatormentioning

confidence: 99%

Genesys: service-oriented construction of property conform code generators

Jörges

Margaria

Steffen

2008

Innovations Syst Softw Eng

Self Cite

View full text Add to dashboard Cite

This paper presents Genesys, a framework for the high-level construction of property conform code generators. Genesys is an integral part of jABC, a flexible framework designed to enable a systematic model-driven development of systems and applications on the basis of an (extensible) library of well-defined, reusable building blocks. Within jABC, Genesys manages the construction of code generators for jABC's models. So far, Genesys has been used to develop code generators for a variety of different target platforms, like a number of Java-based platforms, mobile devices, BPEL engines, etc. Since the code generators are themselves built within the jABC in a model-driven way, concepts like bootstrapping and reuse of existing components enable a fast evolution of Genesys' code generation library, and a high degree of self-application. Due to its increasing complexity and its high degree of reuse, Genesys profits from model checking-based verification. This way, jABC's models of code generators can be automatically checked wrt. wellformedness properties, to ensure that the models do indeed only consist of building blocks which are suitable for the considered target platforms, and whose versions are mutually compatible. It can be also be verified that the code generation process only starts after a successful initialization phase, and that the generated code is always packaged with all the required libraries. We will illustrate the ease of extension and flexibility of the Genesys framework by describing the

show abstract

Section: Lejos Generatormentioning

confidence: 99%

Genesys: service-oriented construction of property conform code generators

Jörges

Margaria

Steffen

2008

Innovations Syst Softw Eng

Self Cite

View full text Add to dashboard Cite

show abstract

“…An early version of this constraint has already been published in [JKPM07], but during the further evolution of Genesys, it has been refined by adding the special cases of logging and the successful (error-free) code generation. Example (2) is a constraint which is not only applicable to code generators, but to all kinds of executable SLGs.…”

Section: Occurrence Constraintsmentioning

confidence: 99%

Assuring property conformance of code generators via model checking

2011

Self Cite

View full text Add to dashboard Cite

Abstract. Automatic code generation is an essential cornerstone of today's model-driven approaches to software engineering. Thus a key requirement for the success of this technique is the reliability and correctness of code generators. This article describes how we employ standard model checking-based verification to check that code generator models developed within our code generation framework Genesys conform to (temporal) properties. Genesys is a graphical framework for the high-level construction of code generators on the basis of an extensible library of well-defined building blocks along the lines of the Extreme Model-Driven Development (XMDD) paradigm. We will illustrate our verification approach by examining complex constraints for code generators, which even span entire model hierarchies. We also show how this leads to a knowledge base of rules for code generators, which we constantly extend by e.g. combining constraints to bigger constraints, or by deriving common patterns from structurally similar constraints. In our experience, the development of code generators with Genesys boils down to re-instantiating patterns or slightly modifying the graphical process model, activities which are strongly supported by verification facilities presented in this article.

show abstract

“…-the mission modelling and execution for Lego Mindstorms [7], which contained a challenging compilation to the Lego platform, -the modelling at the mission and task levels of the ESA Mars Rover mission, and its formal verification with a game beased model checker [1], -enhancing the model-driven roundtrip engineering of NASA's R2D2C approach with model learning capabilities [4] In the Semantic Web domain, we participate to the Semantic Web Service Challenge [26], where we face a Supply Chain Management case study concerning a purchase order scenario.…”

Section: Further Applicationsmentioning

confidence: 99%

From the How to the What

Margaria

Steffen

2008

Verified Software: Theories, Tools, Experiments

Self Cite

View full text Add to dashboard Cite

Abstract. In this paper, we consider the Grand Challenge under a very specific perspective: the enabling of application experts without programming knowledge to reliably model their business processes/applications in a fashion that allows for a subsequent automatic realization on a given platform. This goal, which aims at simplifying the tasks of the many at the cost of ambitious and laborious tasks for the few, adds a new dimension to the techniques and concepts aimed at by the Grand Challenge: the application-specific design of platforms tailored for the intended goal. We are convinced that the outlined perspective provides a realistic and economically important milestone for the Grand Challenge. MotivationSince the very beginning of computer science, the mismatch between design for machines and design for brains has been a constant pain, and a constant driver for innovation: it was always clear that descriptions that are good for machine processing are inadequate for an intuitive human understanding, and that descriptions which are structured for easy comprehension contain a lot of 'syntactic overhead', that typically slows down their automatic processing.Compilers were designed to overcome, or better to weaken, this mismatch: Rather than trying to construct machines that work as humans think, it seemedmore appropriate to translate comprehensible descriptions into machine-adequate representations. Besides classical compilers that translate high-level programming language into machine code there are also other means of automated code generation from more abstract descriptions: to this group belong parser generators, data flow analysis generators, compiler generators, and all the modern OOtools that translate, e.g., UML descriptions into code fragments. Most drastic are those versions of Model Driven Design (MDD) that aim at totally replacing the need of programming for most application development using model construction. Thus the original desire to lift low-level machine code (prescribing How to run the machine) to more abstract programs (describing What to achieve) has become reality at increasing levels of abstraction from the hardware, and leading to extreme approaches like requirements-based programming, which aims at automatically making the user's or customer's requirements executable.

show abstract

Model Driven Design of Reliable Robot Control Programs Using the jABC

Cited by 24 publications

References 19 publications

Genesys: service-oriented construction of property conform code generators

Genesys: service-oriented construction of property conform code generators

Assuring property conformance of code generators via model checking

From the How to the What

Contact Info

Product

Resources

About