29 search results - page 4 / 6 » Towards an automated verification process for industrial saf... |
SIES
2010
IEEE
13 years 5 months ago
2010
IEEE
Abstract--Many heterogeneous embedded systems, for example industrial automation and automotive applications, require hard-real time constraints to be exhaustively verified - which...
ASE
2008
13 years 7 months ago
2008
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
ICIP
2001
IEEE
14 years 9 months ago
2001
IEEE
Exporting to cultural heritage methods and tools used in industrial areas, where the profits can justify high modeling costs, may only be a starting point for cultural heritage mo...
SIGSOFT
2007
ACM
14 years 8 months ago
2007
ACM
When enacting a web service orchestration defined using the Business Process Execution Language (BPEL) we observed various safety property violations. This surprised us considerab...
ISSRE
2007
IEEE
13 years 9 months ago
2007
IEEE
In industrial practice, information on the software field quality of a product is available too late in the software lifecycle to guide affordable corrective action. An important ...