The Experts below are selected from a list of 306 Experts worldwide ranked by ideXlab platform
Kristin Y. Rozier - One of the best experts on this subject based on the ideXlab platform.
-
FMCAD - Comparing different Functional Allocations in automated air traffic control design
2015 Formal Methods in Computer-Aided Design (FMCAD), 2015Co-Authors: Cristian Mattarei, Alessandro Cimatti, Marco Gario, Stefano Tonetta, Kristin Y. RozierAbstract:In the early phases of the design of safety-critical systems, we need the ability to analyze the safety of different design solutions, comparing how different Functional Allocations impact the overall reliability of the system. To achieve this goal, we can apply formal techniques ranging from model checking to model-based fault-tree analysis. Using the results of the verification and safety analysis, we can compare different solutions and provide the domain experts with information on the strengths and weaknesses of each solution. In this paper, we consider NASA's early designs and Functional Allocation hypotheses for the next air traffic control system for the United States. In particular, we consider how the Allocation of separation assurance capabilities and the required communication between agents affects the safety of the overall system. Due to the high level of details, we need to abstract the domain while retaining all of the key properties of NASA's designs. We present the modeling approach and verification process that we adopted. Finally, we discuss the results of the analysis when comparing different configurations including both new, self-separating and traditional, ground-separated aircraft.
-
Comparing different Functional Allocations in automated air traffic control design
2015 Formal Methods in Computer-Aided Design (FMCAD), 2015Co-Authors: Cristian Mattarei, Alessandro Cimatti, Marco Gario, Stefano Tonetta, Kristin Y. RozierAbstract:In the early phases of the design of safety-critical systems, we need the ability to analyze the safety of different design solutions, comparing how different Functional Allocations impact the overall reliability of the system. To achieve this goal, we can apply formal techniques ranging from model checking to model-based fault-tree analysis. Using the results of the verification and safety analysis, we can compare different solutions and provide the domain experts with information on the strengths and weaknesses of each solution. In this paper, we consider NASA's early designs and Functional Allocation hypotheses for the next air traffic control system for the United States. In particular, we consider how the Allocation of separation assurance capabilities and the required communication between agents affects the safety of the overall system. Due to the high level of details, we need to abstract the domain while retaining all of the key properties of NASA's designs. We present the modeling approach and verification process that we adopted. Finally, we discuss the results of the analysis when comparing different configurations including both new, self-separating and traditional, ground-separated aircraft.
Peter Biberthaler - One of the best experts on this subject based on the ideXlab platform.
-
Gene expression profiles are influenced by ISS, MOF, and clinical outcome in multiple injured patients: a genome-wide comparative analysis
Langenbeck's Archives of Surgery, 2007Co-Authors: Viktoria Bogner, Chlodwig Kirchhoff, Henry V. Baker, J. Stegmaier, Lyle L. Moldawer, Wolf Mutschler, Peter BiberthalerAbstract:Background Posttraumatic immune system activation in major trauma patients is linked to systemic inflammatory response syndrome, multiple organ failure (MOF), and mortality. Recent studies suggest that genome-wide expression is altered in response to distinct clinical parameters; however, the Functional Allocation of theses genes remains unclear. Patients and methods Thirteen patients after major trauma (Injury Severity Score
-
Gene expression profiles are influenced by ISS, MOF, and clinical outcome in multiple injured patients: a genome-wide comparative analysis
Langenbeck's Archives of Surgery, 2007Co-Authors: Viktoria Bogner, Chlodwig Kirchhoff, Henry V. Baker, J. Stegmaier, Lyle L. Moldawer, Wolf Mutschler, Peter BiberthalerAbstract:Background Posttraumatic immune system activation in major trauma patients is linked to systemic inflammatory response syndrome, multiple organ failure (MOF), and mortality. Recent studies suggest that genome-wide expression is altered in response to distinct clinical parameters; however, the Functional Allocation of theses genes remains unclear.
Cristian Mattarei - One of the best experts on this subject based on the ideXlab platform.
-
FMCAD - Comparing different Functional Allocations in automated air traffic control design
2015 Formal Methods in Computer-Aided Design (FMCAD), 2015Co-Authors: Cristian Mattarei, Alessandro Cimatti, Marco Gario, Stefano Tonetta, Kristin Y. RozierAbstract:In the early phases of the design of safety-critical systems, we need the ability to analyze the safety of different design solutions, comparing how different Functional Allocations impact the overall reliability of the system. To achieve this goal, we can apply formal techniques ranging from model checking to model-based fault-tree analysis. Using the results of the verification and safety analysis, we can compare different solutions and provide the domain experts with information on the strengths and weaknesses of each solution. In this paper, we consider NASA's early designs and Functional Allocation hypotheses for the next air traffic control system for the United States. In particular, we consider how the Allocation of separation assurance capabilities and the required communication between agents affects the safety of the overall system. Due to the high level of details, we need to abstract the domain while retaining all of the key properties of NASA's designs. We present the modeling approach and verification process that we adopted. Finally, we discuss the results of the analysis when comparing different configurations including both new, self-separating and traditional, ground-separated aircraft.
-
Comparing different Functional Allocations in automated air traffic control design
2015 Formal Methods in Computer-Aided Design (FMCAD), 2015Co-Authors: Cristian Mattarei, Alessandro Cimatti, Marco Gario, Stefano Tonetta, Kristin Y. RozierAbstract:In the early phases of the design of safety-critical systems, we need the ability to analyze the safety of different design solutions, comparing how different Functional Allocations impact the overall reliability of the system. To achieve this goal, we can apply formal techniques ranging from model checking to model-based fault-tree analysis. Using the results of the verification and safety analysis, we can compare different solutions and provide the domain experts with information on the strengths and weaknesses of each solution. In this paper, we consider NASA's early designs and Functional Allocation hypotheses for the next air traffic control system for the United States. In particular, we consider how the Allocation of separation assurance capabilities and the required communication between agents affects the safety of the overall system. Due to the high level of details, we need to abstract the domain while retaining all of the key properties of NASA's designs. We present the modeling approach and verification process that we adopted. Finally, we discuss the results of the analysis when comparing different configurations including both new, self-separating and traditional, ground-separated aircraft.
Marcus Tangermann - One of the best experts on this subject based on the ideXlab platform.
-
ETFA - Aspect orientation and object orientation of control application code for distributed control systems in TORERO
2005 IEEE Conference on Emerging Technologies and Factory Automation, 2005Co-Authors: Marcus Tangermann, Christian Schwab, Anthony LuderAbstract:The application of distributed control systems is one of the main trends in current automation. Here, besides the programming of the control application code and its Functional Allocation to specific devices, an important point is the implementation of communication related code to exploit the underlying communication platform and realise the collaboration of the distributed control application code. Due to the real-timeliness and even time-criticality of control applications, the correct handling of realtime constraints has to be considered. This paper presents two approaches for integrating communication related code into distributed control application code. One integration method is based on the application of AspectJ, an extension for aspect-oriented programming with Java, and the other method is based on ordinary object orientation applying standard design patterns. This work is part of the research project TORERO, which was funded by the European Commission under the IST program
-
Aspect orientation and object orientation of control application code for distributed control systems in TORERO
2005 IEEE Conference on Emerging Technologies and Factory Automation, 2005Co-Authors: Marcus Tangermann, Christian Schwab, Anthony LuderAbstract:The application of distributed control systems is one of the main trends in current automation. Here, besides the programming of the control application code and its Functional Allocation to specific devices, an important point is the implementation of communication related code to exploit the underlying communication platform and realise the collaboration of the distributed control application code. Due to the real-timeliness and even time-criticality of control applications, the correct handling of realtime constraints has to be considered. This paper presents two approaches for integrating communication related code into distributed control application code. One integration method is based on the application of AspectJ, an extension for aspect-oriented programming with Java, and the other method is based on ordinary object orientation applying standard design patterns. This work is part of the research project TORERO, which was funded by the European Commission under the IST program
-
Mapping of IEC 61499 function blocks to automation protocols within the TORERO approach
2nd IEEE International Conference on Industrial Informatics 2004. INDIN '04. 2004, 2004Co-Authors: Christian Schwab, Athanasios P. Kalogeras, Marcus Tangermann, Anthony Luder, L. FerrariniAbstract:The design of distributed control systems (DCS) contains three major parts: (1) the programming of the control application code of the DCS, (2) the Functional Allocation of the control application code to the specific devices that the DCS consists of, and (3) the mapping of the distributed control application code to the underlying communication platform depending on the distribution. This paper presents an approach for the mapping of event triggered IEC 61499 function blocks to the underlying automation protocols, whereas time triggered and event triggered automation protocols will be considered. This work is part of the research project TORERO, which is funded by the European Commission under the IST program
-
OTM Workshops - Aspect-orientation of control application code for distributed automation systems: The TORERO approach
Lecture Notes in Computer Science, 2003Co-Authors: Marcus Tangermann, Christian Schwab, Athanasios P. Kalogeras, Kai Lorentz, Aggeliki S. PrayatiAbstract:Besides the programming of the control application code of a distributed automation system (DAS) and the Functional Allocation of the control application code to the specific devices that the DAS consists of, an important point is the implementation of communication related code to map to the underlying communication platform and to realise the collaboration of the distributed control application code. Due to the real-timeliness and even time-criticality of DAS applications, the correct handling of real-time constraints has to be considered. This paper presents an aspect-oriented approach for weaving the communication related code into the distributed control application code by means of AspectJ [AspJ03], an extension for aspect-oriented programming with Java, and gives a comparison to other approaches. In addition to the description of the weaving process and the presentation of a demonstrator example, considerations about the usability of this concept and some restrictions will be stated. This work is part of the research project TORERO, which is funded by the European Commission under the IST program.
-
Aspect-Orientation of Control Application Code for Distributed Automation Systems: The TORERO Approach
On The Move to Meaningful Internet Systems 2003: OTM 2003 Workshops, 2003Co-Authors: Marcus Tangermann, Christian Schwab, Athanasios P. Kalogeras, Kai Lorentz, Aggeliki S. PrayatiAbstract:Besides the programming of the control application code of a distributed automation system (DAS) and the Functional Allocation of the control application code to the specific devices that the DAS consists of, an important point is the implementation of communication related code to map to the underlying communication platform and to realise the collaboration of the distributed control application code. Due to the real-timeliness and even time-criticality of DAS applications, the correct handling of real-time constraints has to be considered. This paper presents an aspect-oriented approach for weaving the communication related code into the distributed control application code by means of AspectJ [AspJ03], an extension for aspect-oriented programming with Java, and gives a comparison to other approaches. In addition to the description of the weaving process and the presentation of a demonstrator example, considerations about the usability of this concept and some restrictions will be stated. This work is part of the research project TORERO, which is funded by the European Commission under the IST program.
Kristin Y. Rozier - One of the best experts on this subject based on the ideXlab platform.
-
Probabilistic model checking for comparative analysis of automated air traffic control systems
2014 IEEE ACM International Conference on Computer-Aided Design (ICCAD), 2014Co-Authors: Yang Zhao, Kristin Y. RozierAbstract:Ensuring aircraft stay safely separated is the primary consideration in air traffic control. To achieve the required level of assurance for this safety-critical application, the Automated Airspace Concept (AAC) proposes a network of components providing multiple levels of separation assurance, including conflict detection and resolution. In our previous work, we conducted a formal study of this concept including specification, validation, and verification utilizing the NuSMV and CadenceSMV model checkers to ensure there are no potentially catastrophic design flaws remaining in the AAC design before the next stage of production. In this paper, we extend that work to include probabilistic model checking of the AAC system.1 We are motivated by the system designers requirement to compare different design options to optimize the Functional Allocation of the AAC components. Probabilistic model checking provides quantitative measures for evaluating different design options, helping system designers to understand the impact of parameters in the model on a given critical safety requirement. We detail our approach to modeling and probabilistically analyzing this complex system consisting of a real-time algorithm, a logic protocol, and human factors. We utilize both Discrete Time Markov Chain (DTMC) and Continuous Time Markov Chain (CTMC) models to capture the important behaviors in the AAC components. The separation assurance algorithms, which are defined over specific time ranges, are modeled using a DTMC. The emergence of conflicts in an airspace sector and the reaction times of pilots, which can be simplified as Markov processes on continuous time, are modeled as a CTMC. Utilizing these two models, we calculate the probability of an unresolved conflict as a measure of safety and compare multiple design options.
