29 search results - page 1 / 6 » Towards an automated verification process for industrial saf... |
CASE
2011
12 years 4 months ago
2011
— Legacy systems that do not conform to the norms and regulations imposed by recent safety standards have to be upgraded to meet safety requirements. In this paper, we describe a...
FMICS
2009
Springer
13 years 11 months ago
2009
Springer
Most modern safety-critical control programs, such as those embedded in fly-by-wire control systems, perform a lot of floating-point computations. The well-known pitfalls of IEEE...
ISTA
2004
13 years 6 months ago
2004
Abstract: This paper presents the evidential paradigm of computer-supported mathematical assistance in "doing" mathematics and in reasoning activity. At present, the evid...
EUROMICRO
2009
IEEE
13 years 11 months ago
2009
IEEE
—We propose a software engineering process to aid the development of Dynamic Software Architectures (DSAs). This process is based on the sequential application of a number of for...
ESOP
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...