Tadeusz Cichocki - Academia.edu (original) (raw)

Papers by Tadeusz Cichocki

NATO Science Series II: Mathematics, Physics and Chemistry

This paper is a general overview of current practice regarding safety analysis problem and softwa... more This paper is a general overview of current practice regarding safety analysis problem and software safety engineering and assessment process. Generic safety development pattern is shown. Some work in progress is mentioned: OF-FMEA and Safety and Trust Cases development methods and tools.

Lecture Notes in Computer Science, 2000

One of possible ways to achieve a very high level of confidence in a system is to develop its ade... more One of possible ways to achieve a very high level of confidence in a system is to develop its adequate model and then to analyse the properties of this model. The paper presents how object oriented modelling extended with formal specifications is used to support FMEA of software intensive systems. The paper refers to the case study of a computerised railway signalling system.

Lecture Notes in Computer Science, 2001

The paper presents how CSP and the associated tool FDR are used to support FMEA of a software int... more The paper presents how CSP and the associated tool FDR are used to support FMEA of a software intensive system. The paper explains the basic steps of our approach (formal specification, systematic fault identification, fault injection experiments and follow-up) and gives some results related to the application of this method to the industrial case study, a railway signalling system that is presently under development.

Artificial Intelligence and Security in Computing Systems, 2003

The paper presents an extension to the common FMEA method in such a way that it can be applied to... more The paper presents an extension to the common FMEA method in such a way that it can be applied to safety analysis of systems,(hardware and software) that are developed using a recently popular object oriented approach. The method makes use of the object and collaboration models of UML. It assumes that the system components are specified formally using the CSP

Improvements in System Safety, 2008

This paper concerns the meaning of “safe” and current practice regarding safety analysis, safety ... more This paper concerns the meaning of “safe” and current practice regarding safety analysis, safety case and safety assessment. The intention is to state some diagnosis, i.e. to identify an illness or problem from its signs and symptoms and to conclude from such an act. Safety engineering practice and the way of conceptualizing the problem is alarming the author when he is trying to be clear as far as possible in saying what we are doing and assuring. Some work in progress is mentioned.

NATO Science Series II: Mathematics, Physics and Chemistry

This paper is a general overview of current practice regarding safety analysis problem and softwa... more This paper is a general overview of current practice regarding safety analysis problem and software safety engineering and assessment process. Generic safety development pattern is shown. Some work in progress is mentioned: OF-FMEA and Safety and Trust Cases development methods and tools.

Lecture Notes in Computer Science, 2000

One of possible ways to achieve a very high level of confidence in a system is to develop its ade... more One of possible ways to achieve a very high level of confidence in a system is to develop its adequate model and then to analyse the properties of this model. The paper presents how object oriented modelling extended with formal specifications is used to support FMEA of software intensive systems. The paper refers to the case study of a computerised railway signalling system.

Lecture Notes in Computer Science, 2001

The paper presents how CSP and the associated tool FDR are used to support FMEA of a software int... more The paper presents how CSP and the associated tool FDR are used to support FMEA of a software intensive system. The paper explains the basic steps of our approach (formal specification, systematic fault identification, fault injection experiments and follow-up) and gives some results related to the application of this method to the industrial case study, a railway signalling system that is presently under development.

Artificial Intelligence and Security in Computing Systems, 2003

The paper presents an extension to the common FMEA method in such a way that it can be applied to... more The paper presents an extension to the common FMEA method in such a way that it can be applied to safety analysis of systems,(hardware and software) that are developed using a recently popular object oriented approach. The method makes use of the object and collaboration models of UML. It assumes that the system components are specified formally using the CSP

Improvements in System Safety, 2008

This paper concerns the meaning of “safe” and current practice regarding safety analysis, safety ... more This paper concerns the meaning of “safe” and current practice regarding safety analysis, safety case and safety assessment. The intention is to state some diagnosis, i.e. to identify an illness or problem from its signs and symptoms and to conclude from such an act. Safety engineering practice and the way of conceptualizing the problem is alarming the author when he is trying to be clear as far as possible in saying what we are doing and assuring. Some work in progress is mentioned.