The B Book Assigning Programs to Meanings, 1996. ,
M??t??or: A Successful Application of B in a Large Project, FM'99, 1999. ,
DOI : 10.1007/3-540-48119-2_22
Systems and software verification, 2001. ,
DOI : 10.1007/978-3-662-04558-9
Compositional reasoning in model checking, Proc. COMPOS, pp.81-102, 1997. ,
A SIL quantification approach based on an operating situation model for safety evaluation in complex guided transportation systems, Reliability Engineering & System Safety, vol.92, issue.12, 2007. ,
DOI : 10.1016/j.ress.2006.09.022
URL : https://hal.archives-ouvertes.fr/hal-00289461
Formalisation of normative knowledge for safe design, Safety Science, vol.41, issue.2-3, pp.241-26115, 2003. ,
DOI : 10.1016/S0925-7535(02)00004-8
URL : https://hal.archives-ouvertes.fr/hal-00137269
A spiral model of software development, ACM, SIGSOFT, vol.11, 1986. ,
Balancing discipline and flexibility with the spiral model and MBASE. Cross Talk decembre, pp.23-28, 2001. ,
Contribution à l'intégration des modèles de systèmes de production manufacturière par méta-modélisation, p.57, 1998. ,
An object-oriented approach to formally analyze the UML 2.0 activity partitions, Information and Software Technology, vol.49, issue.9-10, pp.999-1016, 2007. ,
DOI : 10.1016/j.infsof.2006.10.007
A STATE-OF-THE-ART REVIEW OF FMEA/FMECA, International Journal of Reliability, Quality and Safety Engineering, vol.01, issue.04, pp.4-515, 1994. ,
DOI : 10.1142/S0218539394000362
RIFIT: analyzing hardware and software in safeguarding systems, Reliability Engineering & System Safety, vol.66, issue.2, pp.149-156, 1999. ,
DOI : 10.1016/S0951-8320(99)00032-0
Overview of IEC 61508. Design of electrical/electronic/programmable electronic safety-related systems, Computing & Control Engineering Journal, vol.11, issue.1, 2000. ,
DOI : 10.1049/cce:20000101
Quelques repères pour s'orienter dans la normalisation traitant des circuits de commande relatifs à la sécurité, Cahier de notes documentaires -Hygiène et sécurité du travail -N°192, 3 eme trimestre 2003. Références et Annexes -145 ,
Etudes pour la maîtrise de la fiabilité logicielle des nouveaux systèmes numériques installés sur les réseaux moyenne tension et basse tension d'EDF. 15eme Colloque Lambda MU-IMdR, 2006. ,
Vérification et validation de modèles de systèmes complexes: application à la modélisation d'entreprise. Habilitation à Diriger des Recherches, 2007. ,
Equipements de travail, sécurité des systèmes programmés, p.18, 2006. ,
Managing and supporting the use of COTS, Proceedings of the 8th Safety CRitical Systems Sympsium, 2000. ,
An experimental evaluation of software redundancy as a strategy for improving reliability, IEEE Transactions on Software Engineering, vol.17, issue.7, pp.7-692, 1991. ,
DOI : 10.1109/32.83905
Contribution à 'évolution des exigences et son impact sur la sécurité, Thèse de doctorat de l'université Paul Sabatier de Toulouse, soutenue publiquement le 12, p.53, 2006. ,
Un comparatif d'outils formels, Actes du congré Lambda Mu 15, p.67, 2006. ,
URL : https://hal.archives-ouvertes.fr/hal-00120758
FORMAL SPECIFICATION OF SAFE MANUFACTURING MACHINES USING THE B METHOD: APPLICATION TO A MECHANICAL PRESS, proc. 12th IFAC INCOM, pp.1-277 ,
DOI : 10.3182/20060517-3-FR-2903.00155
URL : https://hal.archives-ouvertes.fr/hal-00120743
USING SYSML FOR IDENTIFICATION AND REFINEMENT OF MACHINERY SAFETY PROPERTIES, Actes du congrés Dependable Control of Discretes Systems, p.102, 2007. ,
DOI : 10.3182/20070613-3-FR-4909.00024
URL : https://hal.archives-ouvertes.fr/hal-00152383
groupe d'évaluation des langages d'automates". Réunion du 24, INRS doc interne n° IET-S/00CRR-041, p.3, 2000. ,
Safety design: Towards a new philosophy, Safety Science, vol.44, issue.1, pp.55-73, 2006. ,
DOI : 10.1016/j.ssci.2005.09.008
L'ingénierie dirigée par les modèles: au-delà du MDA, Informatique et Systèmes d'Informations. Hermes - Références et Annexes, pp.56-146, 2006. ,
Vizualizing Project Management: Models and frameworks for mastering complex systems. Relié -23 semptemebre, 2005. ,
The relationship of system engineering to the project cycle, Proceedings of the 1991 INCOSE Symposium, 1991. ,
Efficient Representation for Formal Verification of PLC Programs, 2006 8th International Workshop on Discrete Event Systems, pp.182-187, 2006. ,
DOI : 10.1109/WODES.2006.1678428
URL : https://hal.archives-ouvertes.fr/hal-00175431
A simple reliability block diagram method for safety integrity verification, Reliability Engineering & System Safety, vol.92, issue.9, pp.1267-1273, 2006. ,
DOI : 10.1016/j.ress.2006.08.002
Statecharts: a visual formalism for complex systems, Science of Computer Programming, vol.8, issue.3, pp.231-274, 1987. ,
DOI : 10.1016/0167-6423(87)90035-9
UML profile to support requirements engineering with KAOS, IEE Proceedings - Software, vol.151, issue.1, pp.10-27 ,
DOI : 10.1049/ip-sen:20040297
An axiomatic basis for computer programming, Communications of the ACM, vol.12, issue.10, pp.576-580, 1969. ,
DOI : 10.1145/363235.363259
The Coq proof assistant ? a tutorial, 1995. ,
URL : https://hal.archives-ouvertes.fr/inria-00069993
Hardware-in-the-loop simulation for the design and testing of engine-control systems, Control Engineering Practice, vol.7, issue.5, pp.643-653, 1999. ,
DOI : 10.1016/S0967-0661(98)00205-6
Aspects liés à la sécurité. Principes directeurs pour les inclure dans les normes, p.11, 1999. ,
Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems, International Journal on Software Tools for Technology Transfer, vol.2, issue.2, pp.213-254, 2007. ,
DOI : 10.1007/978-1-4757-3143-9
Improving automation software dependability: a role for formal methods ? Control Engineering Practice, pp.1403-1415, 2007. ,
Systematic Software Development using VDM, 1990. ,
Modélisation et vérification des propriétés de systèmes complexes: application aux processus d'entreprise, 2004. ,
Formal verification of functional properties of a SCR-style software requirements specification using PVS, Reliability Engineering & System Safety, vol.87, issue.3, pp.351-363, 2005. ,
DOI : 10.1016/j.ress.2004.06.005
SADT. Cahier de note INRS, pp.175-19231, 1986. ,
Définition d'un modèle de propriété et proposition d'un langage de spécifiction associé: LUSP, Thèse de doctorat de l'université de Montpelier II, 2001. ,
Experience feedback concerning develoment methodology for programmable electronic system application software, Actes du du 3ème congrés international Safety of Industrial Automated Systems, 2003. ,
Simulation et CAO en mécanique et mécatronique, p.15, 2003. ,
Validation de commande des systèmes à évènements discrets, pp.86-10297, 2007. ,
Historique et attentes de PSA sur les otuils numériques. Journée "méthodes et outils pour l'automatisation" du club automation, 2005. ,
Introduction to HOL: A theorem proving Environment for higher-order logic, 1993. ,
Le metier d'intégration de systèmes, 2002. ,
Logiciels applicatifs relatifs à la sécurité. Etude des problèmes liés à leur exploitation. Cahiers de notes documentaires -Hygiènes et sécurité du travail -N° 187, 2002. ,
Advantages and drawbacks of the logic programm synthesis using supervisory control theory, p.1, 2001. ,
Safety analysis of the height control system for the Elbtunnel, Reliability Engineering & System Safety, vol.81, issue.3, pp.259-268, 2003. ,
DOI : 10.1016/S0951-8320(03)00090-5
PVS: Combining specification, proof checking, and model checking, LNCS, vol.1102, pp.411-414, 1996. ,
DOI : 10.1007/3-540-61474-5_91
Traceability, In Software Requirements Engineering, pp.364-374, 1997. ,
The Capability Maturity Model. Guidelines for Improving the Software Process, 148 - Références et Annexes, 1995. ,
Isabelle: A Generic Theorem Prover, Lecture Notes in Computer Science, vol.828, 1994. ,
DOI : 10.1007/BFb0030541
La représentation par les systèmes en situation complexe, 1997. ,
Méthodes et Modèles pour un processus sur d'automatisation, Habilitation à diriger les recherches, 2007. ,
Formal Specification Method for Systems Automation, European Journal of Control, vol.12, issue.2, 2006. ,
DOI : 10.3166/ejc.12.115-130
Apport de la méta-modélisation formelle pour la conception des systèmes automatisés de production, Thèse de l'Ecole Normale Supérieure de Cachan, p.57, 1999. ,
Ref: 8-8-012-03/99 Sach-Nr, p.5, 1999. ,
Supervisory control of a class of discrete event processes, SIAM J. Control and Optimization, vol.25, issue.1, 1987. ,
Toward reference models for requirements traceability, 2001. ,
Analysis of the COTS debate, Safety Science, vol.42, issue.5, pp.335-367, 2004. ,
DOI : 10.1016/j.ssci.2003.09.005
Safety properties verification of ladder diagram programs, Européen des Systèmes Automatisés, pp.905-91768, 2002. ,
URL : https://hal.archives-ouvertes.fr/hal-00356881
New quantitative safety standards: different techniques, differents results? Reliability Engineering and System Safety, pp.121-126, 1999. ,
Using model checking to help discover mode confusions and other automation surprises, Reliability Engineering & System Safety, vol.75, issue.2, pp.167-177, 2002. ,
DOI : 10.1016/S0951-8320(01)00092-8
Complex Systems Science and its Effects on Systems Engineering, European Systems Engineering Conference, 2006. ,
Systems functions implementation and behavioural modelling: system theoretic approach, International Journal of Systems Engineering, vol.4, issue.1, 2001. ,
Development of a safety critical software requirements verification method with combined CPN and PVS: a nuclear power plant protection system application, Reliability Engineering & System Safety, vol.80, issue.1, pp.19-32, 2001. ,
DOI : 10.1016/S0951-8320(02)00159-X
Extending and formalizing the framework for information systems architecture, IBM Systems Journal, vol.31, issue.3, pp.590-61657, 1992. ,
DOI : 10.1147/sj.313.0590
The Z notation: a reference manual, 1989. ,
Developping a CASE tolls for distributed control applications, Journal of advanced manufacturing technology, vol.242, issue.1, pp.24-31, 2007. ,
A tool supported engineering process for developing control applications, Computers in Industry, vol.57, issue.5, pp.462-47257, 2006. ,
DOI : 10.1016/j.compind.2006.02.006
Sûreté de fonctionnement des systèmes industriels - Fiabilité, facteurs humains, informatisation. Collection de la direction des études et recherche d'EdF, 1988. ,
A trace model for system requirements changes on embedded systems, Proceedings of the 4th international workshop on Principles of software evolution , IWPSE '01, p.77, 2001. ,
DOI : 10.1145/602461.602465
Change-oriented requirements traceability. Support for evolution of embedded systems, International Conference on Software Maintenance, 2002. Proceedings., pp.482-485, 2002. ,
DOI : 10.1109/ICSM.2002.1167808
Availability of systems with self diagnostics components-applying Markov model to IEC 61508-6. Reliability Engineering and System Safety, pp.133-141, 2003. ,
Specification of Function Block Applications with UML, Proceedings of the 2005 IEEE International Conference on Robotics and Automation, 2005. ,
DOI : 10.1109/ROBOT.2005.1570733
Making formal methods practical, 19th DASC. 19th Digital Avionics Systems Conference. Proceedings (Cat. No.00CH37126), 2000. ,
DOI : 10.1109/DASC.2000.886879
URL : http://sunnyday.mit.edu/papers/dasc-fm.ps