Introducing Tridefine: A Modeling Tool for lifecycle based functional safety projects

Keywords: TriDefine, State transition modelling, Requirements definition, COTS, Automatic documentation, Automatic code generation, IEC 61131

This article is available in:  English. Please login to request translation.

Abstract:

The UK Health & Safety Executive publication “Out of Control” presents statistics which suggest that almost half of system failures are caused by “Totally Inadequate Specification”. This situation is recognised across many industry sectors, though in the majority of cases the results are detected more by escalating costs and schedule than by serious incidents. This shows that improving the definition process brings safety as well as financial benefits. IEC-61508 states that as the required integrity increases, then automated design methods are more highly recommended.

This paper describes the TriDefine tool which addresses this requirement by providing the unique combination of a dynamic State-Transition design environment with automatic generation of COTS compatible IEC-61131-3 application code, including user defined and vendor specific function blocks where required. TriDefine’s State-Transition models can be dynamically emulated and linked to process models for a spiral review cycle. The tool automatically generates the Function Block application programme from the State-Transition environment either as generic IEC-61131-3 or suitable for direct import to specific COTS safety logic solvers. Auto generated documentation and test cases are also described along with evidence of improved functional correctness and project efficiencies. © 2009 Inside Publishing. All Rights Reserved.

Volume: 2009   Issue: 1
EUR 5.82
(Pages: 12, Words: 3883)

Readers of this article also bought

EUR 3.65

Partial Stroke Testing of Safety and Critical Valves

Language: English

EUR 7.04

Handling Documentation Requirements in the Functional Safety Industry

Language: English

EUR 5.09

Fire and Gas Detection and Mitigation Systems

Language: English

Articles by keywords

2oo4d accident accidents accumulative risk actuators alarm annunciator alarp ansi/isa s.84 api 521 architecture asil asset management audit automatic code generation automatic documentation automotive availability bayesian updating bpcs buncefield burner management system caex certification common cause common cause failures communication compliance component failure analysis consequence matrix content management control cost reduction cost-benefit analysis cots demand mode diagnostic coverage diagnostics digital valve controller documentation emc emergency shutdown system emi en 50402 en 746 en/iec 60079–29–1 failure incident failure rate data failure rates fieldbus fire and gas fired equipment fmeda foundation sif full stroke functional modules functional safety functional safety management gas detection gas sensors gas turbine global risk hardware hazard and operability analysis hazard and operability study hazop hazop templates heterogeneous hipps iec 61131 iec 61131-3 iec 61508 iec 61511 iec 62061 iec 61508 incident investigation independent protection layer instrumentation and control iso 26262 knowledge-based system layer of protection layer of protection analysis life cycle lifecycle management liquiphant lock-up valve lopa management management of change markov memory metrological standards microcontroler mttfs namur 93 nfpa 72 oem online changes operator over spill protection overspeed protection p&id flowchart paag partial stroke partial stroke testing pha prior use process hazop process risk process safety proof test interval proof testing proven in use qs9000 quality data quality management redundancy regulations reliability reliability data reliability engineering reliability program requirements definition review risk graphs risk matrix risk reduction risk reduction factor rule-based system safe-t-core safeguard safety safety goal safety instrumented function safety instrumented system safety instrumented systems safety integrity level safety lifecycle self-declaration sensor poisoning sif signature test sil sil determination methods sil evaluation sil-capability silstroke sil verification sis sis design software solenoid valves spurious trip standardisation state transition modelling sulphur recovery tank farm test bench texas city thermal burner third party tier 1 tolerable risk training tridefine type testing valve testing valves vdi 2180 verification