Towards a Property Preserving Transformation from IEC 61131-3 to BIP

Details Towards a Property Preserving Transformation from IEC 61131-3 to BIP Towards a Property Preserving Transformation from IEC 61131-3 to BIP

2010-09-04

arxiv.org/abs/1009.0817v1

Computer Science

Programming Languages

Scientific paper

We report on a transformation from Sequential Function Charts of the IEC 61131-3 standard to BIP. Our presentation features a description of formal syntax and semantics representation of the involved languages and transformation rules. Furthermore, we present a formalism for describing invariants of IEC 61131-3 systems and establish a notion of invariant preservation between the two languages. For a subset of our transformation rules we sketch a proof showing invariant preservation during the transformation of IEC 61131-3 to BIP and vice versa.

Affiliated with

Also associated with

No associations

Rating

Towards a Property Preserving Transformation from IEC 61131-3 to BIP does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Towards a Property Preserving Transformation from IEC 61131-3 to BIP, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Towards a Property Preserving Transformation from IEC 61131-3 to BIP will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-284739