A System-based Approach to the Formal Development of Embedded Controllers for a Railway

A System-based Approach to the Formal Development of Embedded Controllers for a Railway

Bibliographic Details
Main Author:	Butler, Michael (Author)
Format:	Article
Language:	English
Published:	2002.
Subjects:	Article
Online Access:	Get fulltext

Similar Items

Formal specification and test of COTS-based embedded railway control/command architecture
by: Yang, Jing
Published: (2013)

The formal development of a railway station route management system
by: Dong, Yu Lin
Published: (1995)

Development of Railway Monitoring and Assistance System Based on Linux Embedded System
by: Tsung-Wei, Yeh, et al.
Published: (2014)

Formal modelling and analysis of broadcasting embedded control systems
by: Kendall, David
Published: (2001)

A hierarchical approach to the formal verification of embedded systems using MDGs
by: Balakrishnan, Subhashini
Published: (1999)

Deductive Formal Verification of Embedded Systems
by: Lu, Zheng
Published: (2012)

Algorithms for Railway Embedded Control Devices for Safety Manoeuvres
by: Beinaroviča Anna, et al.
Published: (2020-12-01)

A Formal Fault Model for Component-Based Models of Embedded Systems
by: Fischer, Marco
Published: (2007)

Formal Requirement Models for Automotive Embedded Systems
by: Eriksson, John
Published: (2016)

Formalizing Real-Time Embedded System into Promela
by: Sukvanich Punwess, et al.
Published: (2015-01-01)

Syntactical Enhancement in the Formal Models of Embedded Systems
by: Kai-Rong Chang, et al.
Published: (2005)

Automatic Construction of Formal Models for Embedded Systems
by: Rong-Shiung Wu, et al.
Published: (2005)

A formal framework for specification-based embedded real-time system engineering
by: Ouimet, Martin, 1975-
Published: (2009)

THE FORMALIZED REPRESENTATION AND CALCULATION PLANS OF TRACK DEVELOPMENT OF THE MAJOR RAILWAY STATIONS
by: V. I. Bobrovskyi, et al.
Published: (2009-07-01)

Formal Specification Based Automatic Test Generation for Embedded Network Systems
by: Eun Hye Choi, et al.
Published: (2014-01-01)

Formal Methods for Design and Verification of Embedded Control Systems: Application to an Autonomous Vehicle
by: Wongpiromsarn, Tichakorn
Published: (2010)

An embedded object approach to embedded system development
by: Vallius, T. (Tero)
Published: (2009)

Formal Model Driven Software Synthesis for Embedded Systems
by: Jose, Bijoy Antony
Published: (2014)

Pattern-based Specification and Formal Analysis of Embedded Systems Requirements and Behavioral Models
by: Filipovikj, Predrag
Published: (2017)

Embedding expert systems in semi-formal domains : examining the boundaries of the knowledge base
by: Whitley, Edgar A.
Published: (1990)

ZFDSS : a formal development support system based on the liberal approach
by: Zin, Abdullah Mohd
Published: (1993)

A platform based approach for embedded systems software development
by: Seth, Deepak
Published: (2006)

Formal Techniques for Design and Development of Safety Critical Embedded Systems from Polychronous Models
by: Nanjundappa, Mahesh
Published: (2016)

Development of Embedded System Based Remote Control System
by: Chi-Shao Huang, et al.
Published: (2010)

A Control-based Approach for Self-adaptive Software Systems with Formal Guarantees
by: Shevtsov, Stepan
Published: (2017)

A Holistic Approach in Embedded System Development
by: Bojan Nokovic, et al.
Published: (2015-08-01)

A Formal Component-Based Software Engineering Approach For Developing Trustworty Systems
by: Mohammad, Mubarak Sami
Published: (2009)

A formal component-based software engineering approach for developing trustworthy systems
by: Mohammad, Mubarak Sami
Published: (2009)

A Formal Framework for Modelling Component Extension and Layers in Distributed Embedded Systems
by: Förster, Stefan
Published: (2007)

Noncommutativity and Duality through the Symplectic Embedding Formalism
by: Everton M.C. Abreu, et al.
Published: (2010-07-01)

Formal Model Engineering for Embedded Systems Using Real-Time Maude
by: Peter Csaba Ölveczky
Published: (2011-06-01)

Combining Semi-Formal and Formal Methods for the Development of Distributed Reconfigurable Control Systems
by: Raja Oueslati, et al.
Published: (2018-01-01)

A pragmatic approach to the formal development of safety-critical systems
by: Coombes, Andrew Charles
Published: (1994)

Real-time reactive system development : a formal approach based on UML and PVS
by: Muthiayen, Darmalingum
Published: (2000)

Development of a Smart Control System with Wireless-Based Android Embedded System
by: Yan, Yu-Hu, et al.
Published: (2012)

A Formalized Approach to Multi-View Components for Embedded Systems : Applied to Tool Integration, Run-Time Adaptivity and Architecture Exploration
by: Persson, Magnus
Published: (2013)

The Development and Application of Embedded Control System
by: Ming-Tsung Yang, et al.
Published: (2006)

Formal Approach for UML Components Based Development Profile
by: Arifa Bhutto, et al.
Published: (2018-03-01)

Development of Embedded System Based IR and IO Remote Control System
by: Wei-Chih Hsu, et al.
Published: (2011)

Development of an Embedded System Based Remote Controller for Industrial Applications
by: Shu-ru Ke, et al.
Published: (2009)