Add to ORKGFPGAs are increasing in complexity and being used as im-portant components of safety-critical systems. Emerging safety standards require analytic reasoning to demonstrate the safety of FPGAs in such systems. This report describes a method which uses a synchronous process algebra to pro-duce formal proof that an FPGA program satisfies safety properties, and demonstrates its use in the specification of safety functions for a safety-critical system
Editor: Abstract. More and more technical systems are supervised, controlled and regulated by pro-gr...
Programmable Logic Devices (PLD) such as Field Programmable Gate Arrays (FPGA) are becoming more pre...
While much progress has been made on veri-fication of discrete systems such as computer programs, wo...
Abstract. New standards for developing safety-critical systems require the developer to demonstrate ...
Abstract. New standards for developing safety-critical systems require the developer to demonstrate ...
This paper describes a proposed method and technology of safety assessment of projects based on fiel...
AbstractDemands for higher flexibility in aerospace applications has led to increasing deployment of...
Real-time systems in safety-critical and mission-critical domains have stringent or hard timing cons...
The strong interconnection and interrelation of safety and security properties of industrial system ...
The motivation behind the implementation of a safety fuzzy logic controller (FLC) in VHDL was born n...
Electronic systems that are related to human safety need to comply to strict international standards...
As the ASIC design cost becomes affordable only for very large-scale productions, the FPGA technolog...
As the ASIC design cost becomes affordable only for very large scale productions, the FPGA technolog...
An investigation is presented into the use of formal methods for the production of safety-critical s...
Combined hardware/software systems are increasingly being used for safety-critical systems, with har...
Editor: Abstract. More and more technical systems are supervised, controlled and regulated by pro-gr...
Programmable Logic Devices (PLD) such as Field Programmable Gate Arrays (FPGA) are becoming more pre...
While much progress has been made on veri-fication of discrete systems such as computer programs, wo...
Abstract. New standards for developing safety-critical systems require the developer to demonstrate ...
Abstract. New standards for developing safety-critical systems require the developer to demonstrate ...
This paper describes a proposed method and technology of safety assessment of projects based on fiel...
AbstractDemands for higher flexibility in aerospace applications has led to increasing deployment of...
Real-time systems in safety-critical and mission-critical domains have stringent or hard timing cons...
The strong interconnection and interrelation of safety and security properties of industrial system ...
The motivation behind the implementation of a safety fuzzy logic controller (FLC) in VHDL was born n...
Electronic systems that are related to human safety need to comply to strict international standards...
As the ASIC design cost becomes affordable only for very large-scale productions, the FPGA technolog...
As the ASIC design cost becomes affordable only for very large scale productions, the FPGA technolog...
An investigation is presented into the use of formal methods for the production of safety-critical s...
Combined hardware/software systems are increasingly being used for safety-critical systems, with har...
Editor: Abstract. More and more technical systems are supervised, controlled and regulated by pro-gr...
Programmable Logic Devices (PLD) such as Field Programmable Gate Arrays (FPGA) are becoming more pre...
While much progress has been made on veri-fication of discrete systems such as computer programs, wo...