Safety Integrity Verification of Legacy Systems

Safety Integrity Verification of Legacy Systems

Bibliographic Details
Main Author:	Colin Easton
Format:	Article
Language:	English
Published:	SAGE Publishing 2009-07-01
Series:	Measurement + Control
Online Access:	https://doi.org/10.1177/002029400904200605

Similar Items

Integrating legacy systems with enterprise data store
by: Narang, Sonia
Published: (2007)

Integrating legacy systems with enterprise data store
by: Narang, Sonia
Published: (2007)

Integrating legacy systems with enterprise data store
by: Narang, Sonia
Published: (2007)

AUTOMATING VERIFICATION FOR LEGACY SYSTEMS: A CASE STUDY OF TECHNOLOGY SUSTAINMENT WITHIN THE NASA SPACE NETWORK
by: Irvin, Dana, et al.
Published: (2017)

Formal verification of safety-critical hybrid systems
by: Livadas, Carolos
Published: (2008)

Formal Verification of Safety Critical Systems with Safecharts
by: Tsai Wei Yu, et al.
Published: (2004)

An architectural framework for integrating COTS/GOTS/legacy systems
by: Gee, Karen M.
Published: (2012)

A tool for Integrating legacy systems and WWW through
by: Hsiu-Li Cheng, et al.
Published: (2003)

The legacy of the hadron physics programme at COSY
by: Wilkin Colin
Published: (2016-01-01)

Assessing Foucault's Legacy in Environmental Anthropology
by: Colin Hoag
Published: (2021-01-01)

Automated Architecture-Based Verification of Safety-Critical Systems
by: Jaradat, Omar Tawffeeq Saleem
Published: (2011)

Safety verification conditions for software-intensive critical systems
by: Wong, Ken
Published: (2009)

Safety verification conditions for software-intensive critical systems
by: Wong, Ken
Published: (2009)

Network System Integration: Migrating Legacy Systems into Network-Based Architectures
by: Newton, Todd A., et al.
Published: (2010)

Safety Verification for Autonomous Ships
by: Rokseth Børge, et al.
Published: (2019-01-01)

A methodology for integrating legacy systems with the client/server environment
by: Redelinghuys, Melinda
Published: (2015)

A methodology for integrating legacy systems with the client/server environment
by: Redelinghuys, Melinda
Published: (2015)

Verification of Organizational Safety Model
by: Chi-Ying Liu, et al.
Published: (2011)

Software and hardware package for justification of safety of nuclear legacy facilities
by: P.A. Blokhin, et al.
Published: (2017-03-01)

Leveraging the Organisational Legacy: Understanding How Businesses Integrate Legacy Data into Their Big Data Plans
by: Sanjay Jha, et al.
Published: (2020-06-01)

Safety Verification of Interconnected Hybrid Systems Using Barrier Certificates
by: Guobin Wang, et al.
Published: (2016-01-01)

Towards the Verification of Safety-critical Autonomous Systems in Dynamic Environments
by: Adina Aniculaesei, et al.
Published: (2016-12-01)

Model Based Safety Analysis and Verification of Cyber-Physical Systems
Published: (2012)

Operational Safety Verification of AI-Enabled Cyber-Physical Systems
Published: (2020)

Study on the Integration Approach to Legacy Systems in J2EE Environment
by: Hsien-Wen Tsai, et al.
Published: (2003)

A Study on Integrating Legacy System to SOA by Object Oriented Framework
by: Cheng,Yu-Chi, et al.
Published: (2011)

Safety Design and Verification of RTO Tail Gas Collection System
by: KUO, CHENG-HSIEN, et al.
Published: (2017)

Verification of concurrent safety-critical systems : the compliance-notation approach
by: Atiya, Diyaa-Addein
Published: (2004)

Verification and Simulation of Personal Safety in the Multi-Ground Grid Systems
by: Ting-Fu Huang, et al.
Published: (2012)

Modelling, safety verification and design of discrete/continuous processing systems
by: Dimtriadish, Veniamin
Published: (1997)

The legacy of legal culture and Serbia's European integration
by: Kovačević Slaviša
Published: (2014-01-01)

Verification and validation of safety related software
by: Arno, Matthew G. (Matthew Gordon)
Published: (2006)

Safety verification for automated vehicle maneuvers
by: Dolginova, Ekaterina, 1977-
Published: (2009)

Global Curricular Legacies and Challenges for The Twenty-First Century
by: Colin Brock
Published: (2014-04-01)

Altmetrics, Legacy Scholarship, and Scholarly Legacy
by: Lauren B. Collister, et al.
Published: (2017-10-01)

Verification of System on Chip Integrated Communication Controllers
by: M. V. Petrochenkov, et al.
Published: (2018-10-01)

Integration Points of Operating System Verification Techniques
by: A. K. Petrenko, et al.
Published: (2018-10-01)

An Integrated Development Environment for the Prototype Verification System
by: Paolo Masci, et al.
Published: (2019-12-01)

Experimental verification of an integrated radar communication system
by: Zengliang Li, et al.
Published: (2019-09-01)

Fortran Refactorings for Legacy Systems
by: Mariano Méndez
Published: (2011-10-01)

Cannot write session to /tmp/vufind_sessions/sess_kk0ftqguebbuno202htl28qkul