Search

Your search keyword '"Habli, Ibrahim"' showing total 371 results
Start Over Author "Habli, Ibrahim"

Refine your results

371 results on '"Habli, Ibrahim"'

151. Developing the Safety Case for MediPi: An Open-Source Platform for Self Management.

Author

CARR, Andrew, MURPHY, Damian, DUGDALE, Ian, DYSON, Anne, HABLI, Ibrahim, and ROBINSON, Richard

Abstract

mHealth and Telehealth technologies are increasingly used to provide personalised, interactive and timely access to health data, thereby helping patients take a more active role in their care process. However, similar to any intervention, the use of these technologies has to be assured to justify that they do not compromise patient safety. In this paper, we discuss the development of a safety case for MediPi; a research prototype for a low-cost open-source digital platform that collects physiological data from patients, at home, and makes it available to decision-support systems used by clinicians. We identify potential hazardous failures associated with the use of MediPi and examine current risk controls. We also explore the modular structure of the overall safety case of the platform. We conclude with a discussion of patient safety challenges related to the unsupervised nature of the care setting and the use of commercial off-the-shelf personal devices. [ABSTRACT FROM AUTHOR]

Published
2017
Full Text
View/download PDF

156. Arguing Conformance

Author

Graydon, Patrick, Habli, Ibrahim, Hawkins, Richard, Kelly, Tim, Knight, John, Graydon, Patrick, Habli, Ibrahim, Hawkins, Richard, Kelly, Tim, and Knight, John

Abstract

Conformance to software standards plays an essential role in establishing confidence in high-integrity software systems. However, standards conformance suffers from uncertainty about its meaning for three reasons: because requirements of the standard must be interpreted to fit the specifics of the application; because standards can deliberately leave options for developers; and because goal-based software standards exist that simply specify the high-level principles of software assurance without prescribing a specific means of compliance. The overall effect of these issues is that when conformance to a software assurance standard is claimed, there can be a lack of clarity as to exactly what the claim entails. This article draws on principles and practice from the domain of safety argument construction to describe the use of explicit and structured conformance arguments to help address this problem.

Published
2012
Full Text
View/download PDF

160. Arguing Conformance

Author

Graydon, Patrick, primary, Habli, Ibrahim, additional, Hawkins, Richard, additional, Kelly, Tim, additional, and Knight, John, additional

Published
2012
Full Text
View/download PDF

169. Achieving Integrated Process and Product Safety Arguments.

Author

Redmill, Felix, Anderson, Tom, Habli, Ibrahim, and Kelly, Tim

Abstract

Process-based certification standards such as IEC 61508 and DO-178B are often criticised for being highly prescriptive and impeding the adoption of new and novel methods and techniques. Rather than arguing safety based on compliance with a prescribed and fixed process, product-based certification standards require the submission of a well structured and reasoned safety case. Ideally, the safety case presents an argument that justifies the acceptability of safety based on product-specific and targeted evidence. However, the role of process assurance should not be underestimated even in product arguments. Lack of process assurance can undermine even the seemingly strongest product safety evidence. However, unlike the SIL-based process arguments, the process argument of the type we suggest are targeted and assured against specific safety case claims. In this way, a close association between product and process safety arguments can be carefully maintained. This paper shows how integrated process and product safety arguments can be achieved using the modular features of the Goal Structuring Notation (GSN). [ABSTRACT FROM AUTHOR]

Published
2007
Full Text
View/download PDF

170. An enhanced vehicle control model for assessing highly automated driving safety.

Author

Monkhouse, Helen E., Habli, Ibrahim, and McDermid, John

Subjects
*TRAFFIC safety, *VEHICLE models, *DRIVER assistance systems, *HAZARD mitigation
Abstract

• Automation changes vehicle hazard types and causes and influences driver control. • Automation challenges the notion of human control as a primary hazard mitigation. • An enhanced control model to facilitate highly automated vehicle hazard analyses. • The enhanced model conceptualises artefacts affecting joint cognitive control. • The enhanced model supports systematic hazard analysis and control development. Automation has been changing the types and causes of hazards, and influencing the way in which users interact with complex systems, particularly challenging the notion of human control as a primary basis for hazard mitigation. In this paper, we explore this challenge and use an automotive driving example to examine the distributed nature of the driving task. We define an Enhanced Vehicle Control Model (VCM) that extends the notion of controllability and joint cognition for highly automated tasks. We apply the model to three contemporary driver assistance systems by undertaking a scenario-based evaluation. As a conceptual model, the Enhanced VCM shows potential to proactively identify the hazard causes associated with a joint cognitive control. However, to provide utility and to become an effective tool for the system analyst, an accompanying methodology is needed. This is the focus of our ongoing research. [ABSTRACT FROM AUTHOR]

Published
2020
Full Text
View/download PDF

171. Mind the gaps: Assuring the safety of autonomous systems from an engineering, ethical, and legal perspective.

Author

Burton, Simon, Habli, Ibrahim, Lawton, Tom, McDermid, John, Morgan, Phillip, and Porter, Zoe

Subjects
*SYSTEMS engineering, *SYSTEM safety, *LOSS control, *UNCERTAINTY, *ETHICS, *FIRE victims
Abstract

This paper brings together a multi-disciplinary perspective from systems engineering, ethics, and law to articulate a common language in which to reason about the multi-faceted problem of assuring the safety of autonomous systems. The paper's focus is on the "gaps" that arise across the development process: the semantic gap, where normal conditions for a complete specification of intended functionality are not present; the responsibility gap, where normal conditions for holding human actors morally responsible for harm are not present; and the liability gap, where normal conditions for securing compensation to victims of harm are not present. By categorising these "gaps" we can expose with greater precision key sources of uncertainty and risk with autonomous systems. This can inform the development of more detailed models of safety assurance and contribute to more effective risk control. [ABSTRACT FROM AUTHOR]

Published
2020
Full Text
View/download PDF

172. Variability management in safety‐critical systems design and dependability analysis.

Author

Oliveira, André Luiz, Braga, Rosana, Masiero, Paulo, Parker, David, Papadopoulos, Yiannis, Habli, Ibrahim, and Kelly, Tim

Subjects
SOFTWARE product line engineering, SYSTEMS design, WENCHUAN Earthquake, China, 2008, HAZARD Analysis & Critical Control Point (Food safety system), RELIABILITY in engineering
Abstract

Safety‐critical systems are of paramount importance for many application domains, where safety properties are a key driver to engineer critical aspects and avoid system failures. For the benefits of large‐scale reuse, software product lines (SPL) have been adopted in critical systems industry. However, the integration of safety analysis in the SPL development process is nontrivial. Also, the different usage contexts of safety‐critical systems complicates component fault modeling tasks and the identification of potential hazards. In this light, better methods become necessary to estimate the impact of dependability properties during Hazard Analysis and Risk Assessment. Existing methods incorporating the analysis of safety properties in SPL are limited as they do not include hazard analysis and component fault modeling. In this paper, we present the novel DEPendable Software Product Line Engineering (DEPendable‐SPLE) approach, which extends traditional SPL processes to support the reuse of safety assets. We also present a detailed analysis of the impact of product and context features on the SPL design, safety analysis, and safety requirements. We applied DEPendable‐SPLE to a realistic case study from the aerospace domain to illustrate how to model and reuse safety properties. DEPendable‐SPLE reduced the effort of safety analysis for certifying system variants. [ABSTRACT FROM AUTHOR]

Published
2019
Full Text
View/download PDF

173. 1st International Workshop on Assurance Cases for Software-Intensive Systems (ASSURE 2013).

Author

Denney, Ewen, Pai, Ganesh, Habli, Ibrahim, Kelly, Tim, and Knight, John

Subjects
COMPUTER software, COMPUTER security, GUIDELINES, STANDARDS, SOFTWARE engineering
Abstract

Software plays a key role in high-risk systems, i.e., safety and security-critical systems. Several certification standards and guidelines, e.g., in the defense, transportation (aviation, automotive, rail), and healthcare domains, now recommend and/or mandate the development of assurance cases for software-intensive systems. As such, there is a need to understand and evaluate (a) the application of assurance cases to software, and (b) the relationship between the development and assessment of assurance cases, and software engineering concepts, processes and techniques. The ICSE 2013 Workshop on Assurance Cases for Software-intensive Systems (ASSURE) aims to provide an international forum for high-quality contributions (research, practice, and position papers) on the application of assurance case principles and techniques for software assurance, and on the treatment of assurance cases as artifacts to which the full range of software engineering techniques can be applied. [ABSTRACT FROM AUTHOR]

Published
2013

174. Conceptualising automated driving shared control hazard causes

Author

Monkhouse, Helen, Habli, Ibrahim, and McDermid, John

Abstract

The motivation for this research was the realisation that the introduction of greater vehicle automation would not only change the task of driving but would also potentially change how vehicles are developed and safety is assured. Undertaking a practice-based workshop identified many Automated Driving (AD) safety assurance challenges having different levels of human-machine control. These challenges include an increase in the size and complexity of AD safety analyses, a need to re-examine the notion of controllability in the context of shared control, and the need to conceptualise the vehicle as a system of systems. To begin addressing these challenges and to answer the research question "how can the safety of AD be assured under different levels of shared control?" this research has created three products: a vehicle model and behavioural competency taxonomy that allows AD shared control to be conceptualised, a concrete hazard analysis method for analysing AD shared control hazard causes, and a safety case argument pattern for that. A series of case studies evaluate the research products described above. These cases have used contemporary AD vehicle features, having varying levels of automation. The evaluation of driver assistance, partial and conditional automation cases have been completed by the author. Complementing these is the analysis of a highly automated vehicle system, which has been undertaken with the engineering team from Oxbotica. Considered together these case studies establish the research products as a proof-of-concept hazard analysis method for AD shared control. Further evaluation work is needed to test the viability of the method as an engineering tool for use by automotive practitioners working in a product development environment.

Published
2022

175. Embracing machine learning in safety assurance in healthcare

Author

Jia, Yan, Habli, Ibrahim, and Lawton, Tom

Abstract

Machine learning (ML) is becoming more widely used in many different sectors, including automotive, aviation and healthcare. ML has a great potential to change society and to improve peoples' lives. However, the prospect of ML also poses many challenges; one of the biggest challenges is safety. Thus, there are two important questions that require urgent answers: (1) Are well-established safety engineering methods still appropriate and effective in assuring the safety of ML in some representative healthcare scenarios? (2) Are there new opportunities for well-established safety engineering methods with the development of ML and why are they specifically good for safety in this domain? In this thesis, the first question is explored from the viewpoint of designing ML models. The second question is explored from two perspectives: explanaibility of ML models in support of safety assurance; and using ML to update safety analysis. Both these questions are addressed in the context of healthcare. In other words, this thesis investigates how ML can be embraced in the safety assurance of healthcare applications. Through exploration of three concrete clinical case studies, the thesis demonstrates that well-established safety engineering methods can be applied to ML systems to integrate safety into their design process in healthcare. It further identifies different ways in which ML can assist well-established safety engineering methods, and concludes that there are many opportunities for greater synergy between ML and safety engineering in healthcare and, potentially, in other domains.

Published
2021

176. Metamodel-driven development of an assurance case notation

Author

Selviandro, Nungki, Hawkins, Richard, and Habli, Ibrahim

Abstract

The Structured Assurance Case Metamodel (SACM) is a standard specified by the Object Management Group that defines a metamodel for representing structured assurance cases. It is developed to support standardisation and interoperability in assurance case development. Unlike existing frameworks such as GSN and CAE, SACM (2.0) was not equipped with any visual notation that can be used to develop graphical assurance cases. A visual notation can be seen as an alternative representation to the textual form of a modelling language that can support the language's adoption by its users. The SACM concept is specified using a metamodel. We identified that there is a lack of a systematic approach that can be adopted to create a visual notation that considers the metamodel as part of the design process. This thesis proposes an approach that considers a metamodel structure as one of the inputs to developing a visual notation. The proposed approach could be used to develop any notation that is based upon a metamodel. In this thesis, the application of the proposed approach is demonstrated in the development of the SACM notation. The produced SACM notation is evaluated through empirical studies involving novice and experienced users. The evaluation results shows that experienced users found the resulting SACM notation is more intuitive when compared to an existing notation. It is important to notice that the proposed approach requires many distinct design decisions when applying the approach to produce a notation. Thus, the development of the notation is sensitive to the design decision made by the notation designer that could affect the effectiveness of the resulting notation. Based on the evaluation results, the proposed approach is demonstrated to be helpful in developing a visual notation based on a defined metamodel. Furthermore, the resulting SACM notation is also shown to be useful, and able to be adopted by the practitioners to develop assurance cases. This is indicated by the adoption of the produced notation by an international standard body (Object Management Group); the SACM notation has been published as part of version 2.1 of the SACM standard.

Published
2021

179. From Pluralistic Normative Principles to Autonomous-Agent Rules.

Author

Townsend, Beverley, Paterson, Colin, Arvind, T. T., Nemirovsky, Gabriel, Calinescu, Radu, Cavalcanti, Ana, Habli, Ibrahim, and Thomas, Alan

Subjects
*SYSTEMS engineering, *ARTIFICIAL intelligence, *WELL-being, *CONCRETE
Abstract

With recent advancements in systems engineering and artificial intelligence, autonomous agents are increasingly being called upon to execute tasks that have normative relevance. These are tasks that directly—and potentially adversely—affect human well-being and demand of the agent a degree of normative-sensitivity and -compliance. Such norms and normative principles are typically of a social, legal, ethical, empathetic, or cultural ('SLEEC') nature. Whereas norms of this type are often framed in the abstract, or as high-level principles, addressing normative concerns in concrete applications of autonomous agents requires the refinement of normative principles into explicitly formulated practical rules. This paper develops a process for deriving specification rules from a set of high-level norms, thereby bridging the gap between normative principles and operational practice. This enables autonomous agents to select and execute the most normatively favourable action in the intended context premised on a range of underlying relevant normative principles. In the translation and reduction of normative principles to SLEEC rules, we present an iterative process that uncovers normative principles, addresses SLEEC concerns, identifies and resolves SLEEC conflicts, and generates both preliminary and complex normatively-relevant rules, thereby guiding the development of autonomous agents and better positioning them as normatively SLEEC-sensitive or SLEEC-compliant. [ABSTRACT FROM AUTHOR]

Published
2022
Full Text
View/download PDF

180. Automotive mechatronic safety argument framework

Author

Rivett, Roger, Kelly, Tim, and Habli, Ibrahim

Subjects
004
Abstract

A modern vehicle uses mechanical components under software control, referred to as mechatronic systems, to deliver its features. The software for these, and its supporting hardware, are typically developed according to the functional safety standard ISO 26262:2011. This standard requires that a safety argument is created that demonstrates that the safety requirements for an item are complete and satisfied by evidence. However, this argument only addresses the software and electronic hardware aspects of the mechatronic system, although safety requirements derived for these can also be allocated to the mechanical part of the mechatronic system. The safety requirements allocated to hardware and software also have a value of integrity assigned to them based on an assessment of the unmitigated risk. The concept of risk and integrity is expressed differently in the development of the mechanical components. In this thesis, we address the challenge of extending the safety argument required by ISO 26262 to include the mechanical components being controlled, so creating a safety argument pattern that encompasses the complete mechatronic system. The approach is based on a generic model for engineering which can be applied to the development of the hardware, software and mechanical components. From this, a safety argument pattern has been derived which consequently can be applied to all three engineering disciplines of the mechatronic system. The harmonisation of the concept of integrity is addressed through the use of special characteristics. The result is a model-based assurance approach which allows an argument to be constructed for the mitigation of risk associated with a mechatronic system that encompasses the three engineering disciplines of the system. This approach is evaluated through interview-based case studies and the retrospective application of the approach to an existing four corner air suspension system.

Published
2018

181. No Free Lunch: Overcoming Reward Gaming in AI Safety Gridworlds

Author

Tsvarkaleva, Mariya, Dennis, Louise A., Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Habli, Ibrahim, editor, Sujan, Mark, editor, Gerasimou, Simos, editor, Schoitsch, Erwin, editor, and Bitsch, Friedemann, editor

Published
2021
Full Text
View/download PDF

182. Offline Access to a Vehicle via PKI-Based Authentication

Author

Arm, Jakub, Fiedler, Petr, Bastan, Ondrej, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Habli, Ibrahim, editor, Sujan, Mark, editor, Gerasimou, Simos, editor, Schoitsch, Erwin, editor, and Bitsch, Friedemann, editor

Published
2021
Full Text
View/download PDF

183. Synchronisation of an Automotive Multi-concern Development Process

Author

Skoglund, Martin, Warg, Fredrik, Hansson, Hans, Punnekkat, Sasikumar, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Habli, Ibrahim, editor, Sujan, Mark, editor, Gerasimou, Simos, editor, Schoitsch, Erwin, editor, and Bitsch, Friedemann, editor

Published
2021
Full Text
View/download PDF

184. Certification Game for the Safety Analysis of AI-Based CPS

Author

Lamrani, Imane, Banerjee, Ayan, Gupta, Sandeep K. S., Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Habli, Ibrahim, editor, Sujan, Mark, editor, Gerasimou, Simos, editor, Schoitsch, Erwin, editor, and Bitsch, Friedemann, editor

Published
2021
Full Text
View/download PDF

185. Experimental Conformance Evaluation onUBER ATG Safety Case Framework withANSI/UL 4600

Author

Taguchi, Kenji, Ishikawa, Fuyuki, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Habli, Ibrahim, editor, Sujan, Mark, editor, Gerasimou, Simos, editor, Schoitsch, Erwin, editor, and Bitsch, Friedemann, editor

Published
2021
Full Text
View/download PDF

186. A New Approach to Better Consensus Building and Agreement Implementation for Trustworthy AI Systems

Author

Yanagisawa, Yukiko, Yokote, Yasuhiko, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Habli, Ibrahim, editor, Sujan, Mark, editor, Gerasimou, Simos, editor, Schoitsch, Erwin, editor, and Bitsch, Friedemann, editor

Published
2021
Full Text
View/download PDF

187. Structured Traceability of Security and Privacy Principles for Designing Safe Automated Systems

Author

Asadi Khashooei, Behnam, Vasenev, Alexandr, Kocademir, Hasan Alper, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Habli, Ibrahim, editor, Sujan, Mark, editor, Gerasimou, Simos, editor, Schoitsch, Erwin, editor, and Bitsch, Friedemann, editor

Published
2021
Full Text
View/download PDF

188. An Integrated Approach to a Safety Argumentation for AI-Based Perception Functions in Automated Driving

Author

Mock, Michael, Scholz, Stephan, Blank, Frédérik, Hüger, Fabian, Rohatschek, Andreas, Schwarz, Loren, Stauner, Thomas, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Habli, Ibrahim, editor, Sujan, Mark, editor, Gerasimou, Simos, editor, Schoitsch, Erwin, editor, and Bitsch, Friedemann, editor

Published
2021
Full Text
View/download PDF

189. Effect of Label Noise on Robustness of Deep Neural Network Object Detectors

Author

Adhikari, Bishwo, Peltomäki, Jukka, Germi, Saeed Bakhshi, Rahtu, Esa, Huttunen, Heikki, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Habli, Ibrahim, editor, Sujan, Mark, editor, Gerasimou, Simos, editor, Schoitsch, Erwin, editor, and Bitsch, Friedemann, editor

Published
2021
Full Text
View/download PDF

190. Learning from AV Safety: Hope and Humility Shape Policy and Progress

Author

Blumenthal, Marjory S., Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Habli, Ibrahim, editor, Sujan, Mark, editor, Gerasimou, Simos, editor, Schoitsch, Erwin, editor, and Bitsch, Friedemann, editor

Published
2021
Full Text
View/download PDF

191. Human-in-the-Loop Learning Methods Toward Safe DL-Based Autonomous Systems: A Review

Author

Rajendran, Prajit T., Espinoza, Huascar, Delaborde, Agnes, Mraidha, Chokri, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Habli, Ibrahim, editor, Sujan, Mark, editor, Gerasimou, Simos, editor, Schoitsch, Erwin, editor, and Bitsch, Friedemann, editor

Published
2021
Full Text
View/download PDF

192. Towards Assurance-Driven Architectural Decomposition of Software Systems

Author

Shahin, Ramy, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Habli, Ibrahim, editor, Sujan, Mark, editor, Gerasimou, Simos, editor, Schoitsch, Erwin, editor, and Bitsch, Friedemann, editor

Published
2021
Full Text
View/download PDF

193. Improving Robustness of Deep Neural Networks for Aerial Navigation by Incorporating Input Uncertainty

Author

Arnez, Fabio, Espinoza, Huascar, Radermacher, Ansgar, Terrier, François, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Habli, Ibrahim, editor, Sujan, Mark, editor, Gerasimou, Simos, editor, Schoitsch, Erwin, editor, and Bitsch, Friedemann, editor

Published
2021
Full Text
View/download PDF

194. HEIFU - Hexa Exterior Intelligent Flying Unit

Author

Pedro, Dário, Lousã, Pedro, Ramos, Álvaro, Matos-Carvalho, J. P., Azevedo, Fábio, Campos, Luís, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Habli, Ibrahim, editor, Sujan, Mark, editor, Gerasimou, Simos, editor, Schoitsch, Erwin, editor, and Bitsch, Friedemann, editor

Published
2021
Full Text
View/download PDF

195. Integration of a RTT Prediction into a Multi-path Communication Gateway

Author

Schmid, Josef, Purucker, Patrick, Schneider, Mathias, vander Zwet, Rick, Larsen, Morten, Höß, Alfred, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Habli, Ibrahim, editor, Sujan, Mark, editor, Gerasimou, Simos, editor, Schoitsch, Erwin, editor, and Bitsch, Friedemann, editor

Published
2021
Full Text
View/download PDF

196. The Digital Twin as a Common Knowledge Base in DevOps to Support Continuous System Evolution

Author

Mertens, Joost, Denil, Joachim, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Habli, Ibrahim, editor, Sujan, Mark, editor, Gerasimou, Simos, editor, Schoitsch, Erwin, editor, and Bitsch, Friedemann, editor

Published
2021
Full Text
View/download PDF

197. Formal Modelling of the Impact of Cyber Attacks on Railway Safety

Author

Poorhadi, Ehsan, Troubitysna, Elena, Dán, György, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Habli, Ibrahim, editor, Sujan, Mark, editor, Gerasimou, Simos, editor, Schoitsch, Erwin, editor, and Bitsch, Friedemann, editor

Published
2021
Full Text
View/download PDF

198. Testing for IT Security: A Guided Search Pattern for Exploitable Vulnerability Classes

Author

Neubaum, Andreas, Al Sardy, Loui, Spisländer, Marc, Saglietti, Francesca, Biener, Yves, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Habli, Ibrahim, editor, Sujan, Mark, editor, Gerasimou, Simos, editor, Schoitsch, Erwin, editor, and Bitsch, Friedemann, editor

Published
2021
Full Text
View/download PDF

199. An Accountability Approach to Resolve Multi-stakeholder Conflicts

Author

Yanagisawa, Yukiko, Yokote, Yasuhiko, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Habli, Ibrahim, editor, Sujan, Mark, editor, Gerasimou, Simos, editor, Schoitsch, Erwin, editor, and Bitsch, Friedemann, editor

Published
2021
Full Text
View/download PDF

200. Towards Continuous Safety Assessment in Context of DevOps

Author

Zeller, Marc, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Habli, Ibrahim, editor, Sujan, Mark, editor, Gerasimou, Simos, editor, Schoitsch, Erwin, editor, and Bitsch, Friedemann, editor

Published
2021
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results