Mode-automata: A new domain-specific construct for the development of safe critical systems.
type: Item
instance of: scholarly article
title: Mode-automata: A new domain-specific construct for the development of safe critical systems.
zbMATH Open document ID: 1051.68097
DOI: 10.1016/S0167-6423(02)00093-X
author: Florence Maraninchi
author: Yann Rémond
published in: Science of Computer Programming
publication date: 2003-05-14T00:00:00Z
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 1910212
zbMATH Keywords: Real-time systems
zbMATH Keywords: Safety-critical
zbMATH Keywords: Regulation systems
zbMATH Keywords: Running-modes
zbMATH Keywords: Language design and implementation
zbMATH Keywords: Case-study
zbMATH Keywords: Production cell
MaRDI profile type: Publication
full work available at URL: s0167-6423(02)00093-x
OpenAlex ID: W2010945517
Recommended article: On the Construction of Fine Automata for Safety Properties
Recommended article: Model Checking Safety-Critical Systems Using Safecharts
Recommended article: Q5035705
Recommended article: Modeling and Verification of High-Assurance Properties of Safety-Critical Systems
Recommended article: Formal Techniques for Networked and Distributed Systems - FORTE 2005
Recommended article: Abstract State Machines and System Theoretic Process Analysis for Safety-Critical Systems
Recommended article: Trustworthy Global Computing
description: scientific article; zbMATH DE number 1910212