A Model-Based Transformation Approach to Reuse and Retarget CASM Specifications

A Model-Based Transformation Approach to Reuse and Retarget CASM Specifications

Abstract

The Abstract State Machine (ASM) theory is a way to specify algorithms, applications and systems in a formal model. Recent ASM languages and tools address either the translation of ASM specifications to a specific target programming language or aim at the execution in a specific environment. In this work-in-progress paper we outline a model-based transformation approach supporting (1) the specification of applications or systems using the Corinthian Abstract State Machine (CASM) modeling language and (2) retargeting those applications to different programming language and hardware target domains. An intermediate model is introduced, which not only captures software-based implementations, but also the generation of hardware-related code in the same model. This approach offers a new formal modeling perspective onto modular, reusable and retargetable software and hardware designs for the development of embedded systems. We provide a short overview of our CASM compiler design as well as the retargetable model-based approach to generate code for different target domains.

Grafik Top
Authors
  • Paulweber, Philipp
  • Zdun, Uwe
Grafik Top
Shortfacts
Category
Paper in Conference Proceedings or in Workshop Proceedings (Paper)
Event Title
5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ)
Divisions
Software Architecture
Subjects
Software Engineering
Programmiersprachen
Theoretische Informatik
Event Location
Linz, Austria
Event Type
Conference
Event Dates
23-27 May 2016
Series Name
Lecture Notes in Computer Science 9675
ISSN/ISBN
978-3-319-33599-5
Page Range
pp. 250-255
Date
May 2016
Export
Grafik Top