6533b824fe1ef96bd1280920
RESEARCH PRODUCT
Dual-model approach for safety-critical embedded systems
Alfredo Rosado-muñozGrzegorz ŁAbiakMarek WȩgrzynGrzegorz Bazydlosubject
Computer Networks and Communicationsbusiness.industryDual modelComputer scienceReliability (computer networking)020208 electrical & electronic engineeringInteroperabilityDesign flow02 engineering and technologyPetri net020202 computer hardware & architectureUML state machineArtificial IntelligenceHardware and ArchitectureControl theoryEmbedded system0202 electrical engineering electronic engineering information engineeringbusinessSoftwaredescription
Abstract The paper presents the design of digital controllers based on two models: the Petri net model, and the UML state machine. These two approaches differ in many aspects of design flow, such as conceptual modelling, and analysis and synthesis. Each of these approaches can be used individually to design an efficient logic controller, and such solutions are well-known, but their interoperability can contribute to a much better understanding of logic controller design and validation. This is especially important in the case of safety- or life-critical embedded systems, and apart from this, a dual-model controller design can make up redundant system increasing its reliability.
| year | journal | country | edition | language |
|---|---|---|---|---|
| 2020-02-01 | Microprocessors and Microsystems |