English
Related papers

Related papers: INSiDER: Incorporation of system and safety analys…

200 papers

Surrogate model-based optimization has been increasingly used in the field of engineering design. It involves creating a surrogate model with objective functions or constraints based on the data obtained from simulations or real-world…

Optimization and Control · Mathematics 2023-08-28 Minyoung Jwa , Jihoon Kim , Seungyeon Shin , Ah-hyeon Jin , Dongju Shin , Namwoo Kang

Developing a structured method for analyzing various aspects of a system requires a novel methodology. This study is aimed at developing such as methodology through combining two major matrix methods, namely, Design Structure Matrix (DSM)…

Systems and Control · Electrical Eng. & Systems 2019-07-02 Hossein Sabzian , Seyyed Mostafa Seyyed Hashemi , Ehsan Kamrani

Safety is an important element of dependability. It is defined as the absence of accidents. Most accidents involving software-intensive systems have been system accidents, which are caused by unsafe inter-system or inter-component…

Software Engineering · Computer Science 2016-11-17 Zhe Chen , Gilles Motet

Modellers of complex biological or social systems are often faced with an invidious choice: to use simple models with few mechanisms that can be fully analysed, or to construct complicated models that include all the features which are…

Physics and Society · Physics 2016-09-28 Luis F. Lafuerza , Louise Dyson , Bruce Edmonds , Alan J. McKane

In the era of Industry 4.0, system reliability engineering faces both challenges and opportunities. On the one hand, the complexity of cyber-physical systems, the integration of novel numerical technologies, and the handling of large…

The advent of IoT is a great opportunity to reinvigorate Computing by focusing on autonomous system design. This certainly raises technology questions but, more importantly, it requires building new foundation that will systematically…

Systems and Control · Computer Science 2018-06-27 Joseph Sifakis

We may attempt to encapsulate what we know about a physical system by a model structure, $S$. This collection of related models is defined by parametric relationships between system features; say observables (outputs), unobservable…

Methodology · Statistics 2021-02-16 Jason M. Whyte

We consider the basic features of complex dynamic and control systems, including systems having hierarchical structure. Special attention is paid to the problems of design and synthesis of complex systems and control models, and to the…

Computational Engineering, Finance, and Science · Computer Science 2008-12-25 Armen Bagdasaryan

Design patterns provide a systematic way to convey solutions to recurring modeling challenges. This paper introduces design patterns for hybrid modeling, an approach that combines modeling based on first principles with data-driven modeling…

Artificial Intelligence · Computer Science 2024-01-02 Maja Rudolph , Stefan Kurz , Barbara Rakitsch

This special volume of Statistical Sciences presents some innovative, if not provocative, ideas in the area of reliability, or perhaps more appropriately named, integrated system assessment. In this age of exponential growth in science,…

Methodology · Statistics 2009-09-29 Sallie Keller-McNulty , Alyson Wilson , Christine Anderson-Cook

This paper demonstrates a methodology to help practitioners maximise the utility of complex multidisciplinary engineering models implemented as spreadsheets, an area presenting unique challenges. As motivation we investigate the expanding…

Software Engineering · Computer Science 2014-01-21 David Birch , Helen Liang , Paul H J Kelly , Glen Mullineux , Tony Field , Joan Ko , Alvise Simondetti

This paper aims to propose a novel deep learning-integrated framework for deriving reliable simulation input models through incorporating multi-source information. The framework sources and extracts multisource data generated from…

Machine Learning · Computer Science 2020-04-07 Yitong Li , Wenying Ji

The factories of the future require efficient interconnection of their physical machines into the cyber space to cope with the emerging need of an increased uptime of machines, higher performance rates, an improved level of productivity and…

Cryptography and Security · Computer Science 2019-06-26 Ralph Ankele , Stefan Marksteiner , Kai Nahrgang , Heribert Vallant

The specification of requirements and tests are crucial activities in automotive development projects. However, due to the increasing complexity of automotive systems, practitioners fail to specify requirements and tests for distributed and…

Model-Driven Engineering (MDE) provides a huge body of knowledge of automation for many different engineering tasks, especially those involving transitioning from design to implementation. With the huge progress made in Artificial…

Software Engineering · Computer Science 2025-02-11 Lola Burgueño , Davide Di Ruscio , Houari Sahraoui , Manuel Wimmer

Regular model checking is a technique for the verification of infinite-state systems whose configurations can be represented as finite words over a suitable alphabet. The form we are studying applies to systems whose set of initial…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-01-22 Javier Esparza , Michael Raskin , Christoph Welzel-Mohr

Semi-autonomous vehicles are increasingly serving critical functions in various settings from mining to logistics to defence. A key characteristic of such systems is the presence of the human (drivers) in the control loop. To ensure safety,…

Human-Computer Interaction · Computer Science 2013-01-03 Siraj Shaikh , Padmanabhan Krishnan

Modeling of work systems occurs for all sorts of reasons. Requirements need to be expressed. A pre-existing situation may need to be charted and analyzed. Early design decisions may be captured using architecture principles. Detailed design…

Software Engineering · Computer Science 2021-05-19 Henderik A. Proper

Existing procedures for model validation have been deemed inadequate for many engineering systems. The reason of this inadequacy is due to the high degree of complexity of the mechanisms that govern these systems. It is proposed in this…

Artificial Intelligence · Computer Science 2007-05-23 A. Guergachi

During the design of safety-critical systems, safety and security engineers make use of architecture patterns, such as Watchdog and Firewall, to address identified failures and threats. Often, however, the deployment of safety patterns has…

Logic in Computer Science · Computer Science 2022-03-01 Yuri Gil Dantas , Vivek Nigam
‹ Prev 1 8 9 10 Next ›