Using Visual Specifications in Verification of Industrial Automation Controllers. (19th November 2007)
- Record Type:
- Journal Article
- Title:
- Using Visual Specifications in Verification of Industrial Automation Controllers. (19th November 2007)
- Main Title:
- Using Visual Specifications in Verification of Industrial Automation Controllers
- Authors:
- Vyatkin, Valeriy
Bouzon, Gustavo - Other Names:
- Lastra Jose L. Martinez Academic Editor.
- Abstract:
- Abstract : This paper deals with further development of a graphical specification language resembling timing-diagrams and allowing specification of partially ordered events in input and output signals. The language specifically aims at application in modular modelling of industrial automation systems and their formal verification via model-checking. The graphical specifications are translated into a model which is connected with the original model under study.
- Is Part Of:
- EURASIP journal on embedded systems. Volume 2008(2008)
- Journal:
- EURASIP journal on embedded systems
- Issue:
- Volume 2008(2008)
- Issue Display:
- Volume 2008, Issue 2008 (2008)
- Year:
- 2008
- Volume:
- 2008
- Issue:
- 2008
- Issue Sort Value:
- 2008-2008-2008-0000
- Page Start:
- Page End:
- Publication Date:
- 2007-11-19
- Subjects:
- Embedded computer systems -- Periodicals
Systèmes enfouis (Informatique)
Embedded computer systems
Periodicals
Electronic journals
006.22 - Journal URLs:
- https://link.springer.com/journal/13639 ↗
http://link.springer.com/ ↗ - DOI:
- 10.1155/2008/251957 ↗
- Languages:
- English
- ISSNs:
- 1687-3955
- Deposit Type:
- Legaldeposit
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library DSC - BLDSS-3PM
British Library HMNTS - ELD Digital store - Ingest File:
- 10730.xml