Formal Verification of Nuclear Systems: Past, Present, and Future

Lawford, Mark; Wassyng, Alan

doi:10.11610/isij.2818

Cited by 2 publications

(3 citation statements)

References 4 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Fig. 1 The system construction of wireless vibration nodes Based on some investigation article of software design for NPPs [7], [8], [9] , following issue was analyzed firstly:…”

Section: Test Index For Wireless Vibration Sensor Network Nodesmentioning

confidence: 99%

See 1 more Smart Citation

Software Test of Wireless Vibration Nodes of Nuclear Power Plants

Deng

Ling

2013

AMM

View full text Add to dashboard Cite

To do Validation and Verification" of wireless vibration sensor nodes in NPPs (nuclear power plants), embedded system software test should be done. The test index is analyzed firstly; then the method of 'Temb' was introduced to analysis ADXL202 vibration nodes; the characteristic of system was used to establish LITO(life cycle, Infrastructure, Techniques, Organization) matrix, they are of emphasizing safety, application in harsh environment, using algorithms of technology and science and so on. The acceleration circulation method using fixed time cycle pretest by instrument and other weak was proved to be infeasible though FMEA (failure modes and effects analysis). Then FTA (fault tree analysis) is used to analyze system, so the software filter and real-time cycle test method were used to improve test precise and reliability of node vibration measurement. Experiments have proved its effective.

show abstract

“…Fig. 1 The system construction of wireless vibration nodes Based on some investigation article of software design for NPPs [7], [8], [9] , following issue was analyzed firstly:…”

Section: Test Index For Wireless Vibration Sensor Network Nodesmentioning

confidence: 99%

“…The work present here was mainly based on NUREG-0492 and so on [12], [13] . It was to serve as the System Safety and reliability premise of wireless vibration nodes, and it was to foundation elements on fault tree construction and evaluation.…”

Section: Industrial Instrumentation and Control Systems IImentioning

confidence: 99%

Software Test of Wireless Vibration Nodes of Nuclear Power Plants

Deng

Ling

2013

AMM

View full text Add to dashboard Cite

show abstract

“…Furthermore, MapleSim's symbolic capabilities, including symbolic simplification and symbolic optimization of generated code, enable complex models to be simulated at speeds that allow real-time simulation for Hardware-In-the-Loop testing. The tool has been used in different industries, including safety critical industries [3]. Furthermore, the tool has been applied in powertrain modeling and analysis [4,5,6].…”

Section: Introduction Motivationmentioning

confidence: 99%

Automatic Calibrations Generation for Powertrain Controllers Using MapleSim

Korobkine

Boimer

Pantelic

et al. 2018

SAE Technical Paper Series

Self Cite

View full text Add to dashboard Cite

Modern powertrains are highly complex systems whose development requires careful tuning of hundreds of parameters, called calibrations. These calibrations determine essential vehicle attributes such as performance, dynamics, fuel consumption, emissions, noise, vibrations, harshness, etc. This paper presents a methodology for automatic generation of calibrations for a powertrain-abstraction software module within the powertrain software of hybrid electric vehicles. This module hides the underlying powertrain architecture from the remaining powertrain software. The module encodes the powertrain's torquespeed equations as calibrations. The methodology commences with modeling the powertrain in MapleSim, a multi-domain modeling and simulation tool. Then, the underlying mathematical representation of the modeled powertrain is generated from the MapleSim model using Maple, MapleSim's symbolic engine. Maple is further used to manipulate the powertrain equations to produce the representation required for calibrations extraction. The methodology has been applied successfully in a research project with a large automotive OEM (Original Equipment Manufacturer), leading to significant improvements in the calibrations generation process. It has since been integrated into the OEM's model-based development process.

show abstract

Formal Verification of Nuclear Systems: Past, Present, and Future

Cited by 2 publications

References 4 publications

Software Test of Wireless Vibration Nodes of Nuclear Power Plants

Software Test of Wireless Vibration Nodes of Nuclear Power Plants

Automatic Calibrations Generation for Powertrain Controllers Using MapleSim

Contact Info

Product

Resources

About