NDLI: STATEMATE to SCADE model translation

Please wait, while we are loading the content...

Mining specifications of malicious behavior

A model-driven approach for developing business applications: experience, lessons learnt and a way forward

Class synthesis from role collaborations

Regression testing based-on slicing of component-based software architectures

Design for six sigma: software product quality

Mining business topics in source code using latent dirichlet allocation

Ant colony based rule generation for reusable software component retrieval

Learning from software

Predicting faults from cached history

Transformation of SBVR business design to UML models

Class-local object invariants

Database-aware test coverage monitoring

Estimating software maintenance effort: a neural network approach

People issues relating to software engineering education and training in India

Test sequence computation for regression testing of reactive systems

Testing evolving software: Current practice and future promise

Globally distributed software development project performance: an empirical analysis

A dynamic and reactive approach to the supervision of BPEL processes

Regression test selection on system requirements

Precise static type analysis in component based programming environment

Tracking code clones in evolving software

Enabling reuse of citizen centric government processes through service oriented architecture

Safe subset-regression test selection for managed code

Challenges in adopting traditional processmodels in a package implementation scenario

Class point based effort estimation of OO systems using fuzzy subtractive clustering and artificial neural networks

Architecture decision based on value-based software engineering concepts

STATEMATE to SCADE model translation

A novel approach to system testing and reliability assessment using use case model

A survey on software test maturity in Korean defense industry

Formalization of UML diagrams and their consistency verification: A Z notation based approach

UPM: an eclipse plug-in to incorporate performance requirements into UML models

STATEMATE to SCADE model translation

Content Provider	ACM Digital Library
Author	Kulkarni, Aniket Venky, R. S., Ulka Bokil, Prasad
Abstract	Often organizations need to combine multiple tools for effective software development. For instance, some organizations prefer STATEMATE [3] for specification due to its friendly visual notation and asynchronous semantics, whereas they prefer SCADE [6] for code generation due to it's certified and optimized code generator. For these organizations to make effective use of both these tools, the tools need to be integrated by defining a translation between the two notations. Unlike translation of Statecharts to C which is a high level notation to code level translation with same (control flow) semantics or graphical SCADE (Safe State Machine) to textual SCADE (Lustre)[4] which is between two models having same (data flow) semantics, STATEMATE and SCADE have high level specification notations with very different semantics. Hence naive translation is not possible. Additionally, these organizations also require a rigorous validation of the translation. Here, we describe a translation strategy and a rigorous validation process for key STATEMATE constructs to SCADE. The translation strategy helps to bridge the semantic gap between the tools. As the formal verification of a translator is difficult, we propose an automated testing technique for each individual translation based on classical comparison testing. We show how this technique can be used to achieve MC/DC coverage for each individual translation as required for certification (for example, RTCA's DO-178B [7]). The translation strategy and testing technique are implemented in a prototype translator.
Starting Page	145
Ending Page	146
Page Count	2
File Format	PDF
ISBN	9781595939173
DOI	10.1145/1342211.1342245
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2008-02-19
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Scade Translation Transitions State Statecharts Model Activity charts Reaction Statemate
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Verifying statemate statecharts using csp and fdr.

Proving unreachability using bounded model checking

Formal Veriication of Statemate-statecharts

Model transformations to satisfy all-configurations-transitions on statecharts

An axiomatic theory of statecharts (1996).

The statemate semantics of statecharts (1996).

Formal Verification of STATEMATE-Statecharts 1 Introduction

The STATEMATE semantics of statecharts

Modeling Reactive Systems With Statecharts : The Statemate Approach

STATEMATE to SCADE model translation

Similar Documents

Verifying statemate statecharts using csp and fdr.

Proving unreachability using bounded model checking

Formal Veriication of Statemate-statecharts

Model transformations to satisfy all-configurations-transitions on statecharts

An axiomatic theory of statecharts (1996).

The statemate semantics of statecharts (1996).

Formal Verification of STATEMATE-Statecharts 1 Introduction

The STATEMATE semantics of statecharts

Modeling Reactive Systems With Statecharts : The Statemate Approach

STATEMATE to SCADE model translation