A Survey of Static Formal Methods for Building Dependable Industrial Automation Systems
Version 2 2024-06-03, 02:57
Version 1 2024-04-16, 01:53
journal contribution
posted on 2024-06-03, 02:57 authored by Roopak SinhaRoopak Sinha, S Patil, L Gomes, V VyatkinA Survey of Static Formal Methods for Building Dependable Industrial Automation Systems
History
Related Materials
- 1.
Location
Piscataway, N.J.Language
engPublication classification
C1.1 Refereed article in a scholarly journalJournal
IEEE Transactions on Industrial InformaticsVolume
15Pagination
3772-3783ISSN
1551-3203eISSN
1941-0050Issue
7Publisher
Institute of Electrical and Electronics EngineersPublication URL
Usage metrics
Keywords
Automation & Control SystemsComputer ScienceComputer Science, Interdisciplinary ApplicationsEngineeringEngineering, IndustrialFormal methodsformal verificationFUNCTION BLOCK DIAGRAMSGENERATIONIEC 61131IEC 61499IMPLEMENTATIONindustrial automation systems (IAS)industrial controlMODELSREQUIREMENTSSAFETYScience & TechnologySECURITYSPECIFICATIONSYSMLTechnologyVERIFICATION
Licence
Exports
RefWorks
BibTeX
Ref. manager
Endnote
DataCite
NLM
DC