CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

Formal Modeling of Function Block Applications Running in IEC 61499 Execution Runtime

Goran Cengic (Institutionen för signaler och system, Automation) ; Oscar Ljungkrantz (Institutionen för signaler och system, Automation) ; Knut Åkesson (Institutionen för signaler och system, Automation)
2006 IEEE Conference on Emerging Technologies and Factory Automation, ETFA; Hamburg; Germany; 20 September 2006 through 22 September 2006 p. 1269-1276. (2006)
[Konferensbidrag, refereegranskat]

The execution model in a new standard for distributed control systems, IEC 61499, is analyzed. It is shown how the same standard compliant application running in two different standard compliant runtime environments may result in completely different behaviors. Thus, to achieve true portability of applications between multiple standard compliant runtime environments a more detailed execution model is necessary. In this paper a new runtime environment, Fuber, is presented along with a formal execution model. In this case the execution model is given as a set of interacting state machines which makes it straightforward to analyze the behavior of the application and runtime together using existing tools for formal verification.

Article number 4178302

Denna post skapades 2006-12-06. Senast ändrad 2016-06-17.
CPL Pubid: 23950


Läs direkt!

Länk till annan sajt (kan kräva inloggning)

Institutioner (Chalmers)

Institutionen för signaler och system, Automation (2005-2017)


Information Technology

Chalmers infrastruktur

Relaterade publikationer

Denna publikation ingår i:

On Industrial Automation Software Development; Modeling, Analysis and Execution Using Automation Components and IEC 61499

On Formal Methods in Development of Control Logic Using IEC 61499