English
Related papers

Related papers: Assurance Benefits of ISO 26262 compliant Microcon…

200 papers

The automotive domain rapidly increases the embedded amount of complex and interconnected electronics systems. A considerable proportion of them are real-time safety-critical devices and must be protected against cybersecurity attacks.…

Cryptography and Security · Computer Science 2022-12-20 Cristiano Pegoraro Chenet , Alessandro Savino , Stefano di Carlo

Allowing swift release cycles, Continuous Delivery has become popular in application software development and is starting to be applied in safety-critical domains such as the automotive industry. These domains require thorough analysis…

Software Engineering · Computer Science 2017-11-15 Sebastian Vöst , Stefan Wagner

Air transportation is essential for society, and it is increasing gradually due to its importance. To improve the airspace operation, new technologies are under development, such as Unmanned Aircraft Systems (UAS). In fact, in the past few…

Systems and Control · Electrical Eng. & Systems 2022-11-29 Euclides Carlos Pinto Neto , Derick Moreira Baum , Jorge Rady de Almeida , Joao Batista Camargo , Paulo Sergio Cugnasca

The large number of Electronic Control Units (ECUs) mounted on modern cars and their expansive communication capabilities create a substantial attack surface for potential exploitation. Despite the evolution of automotive technology, the…

Cryptography and Security · Computer Science 2024-10-28 Alessandro Lotto , Francesco Marchiori , Alessandro Brighente , Mauro Conti

Microservices - combined with secure containers - facilitate new ways to build critical applications. These applications will benefit from many tools and services built for less critical software. The more stringent requirements of critical…

Cryptography and Security · Computer Science 2019-08-26 Christof Fetzer

An approach to the development of security test procedures for information security controls is presented. The recommendations for optimizing the test procedure are obtained

Cryptography and Security · Computer Science 2013-06-11 Alexander Barabanov , Maxim Grishin , Alexey Markov

Dependability assurance of systems embedding machine learning(ML) components---so called learning-enabled systems (LESs)---is a key step for their use in safety-critical applications. In emerging standardization and guidance efforts, there…

Software Engineering · Computer Science 2023-01-11 Erfan Asaadi , Ewen Denney , Ganesh Pai

Experimental flight tests are reported about quadrotors UAVs via a recent model-free control (MFC) strategy, which is easily implementable. We show that it is possible to achieve acrobatic rate control of the UAV, which is beyond the…

Systems and Control · Electrical Eng. & Systems 2020-08-04 Maison Clouatre , Makhin Thitsa , Michel Fliess , Cédric Join

This paper presents an efficient risk management model for unmanned aerial vehicles or UAVs. Our proposed risk management establishes a cyclic model with a continuous and iterative structure that is very adaptable to agile methods and all…

Systems and Control · Electrical Eng. & Systems 2023-11-14 Hamid Reza Naji , Aref Ayati

As the market for commercially available unmanned aerial vehicles (UAVs) booms, there is an increasing number of small, teleoperated or autonomous aircraft found in protected or sensitive airspace. Existing solutions for removal of these…

Robotics · Computer Science 2021-07-06 Anish Bhattacharya

A computational system is called autonomous if it is able to make its own decisions, or take its own actions, without human supervision or control. The capability and spread of such systems have reached the point where they are beginning to…

Machine Learning (ML) is now used in a range of systems with results that are reported to exceed, under certain conditions, human performance. Many of these systems, in domains such as healthcare , automotive and manufacturing, exhibit high…

Machine Learning · Computer Science 2021-02-03 Richard Hawkins , Colin Paterson , Chiara Picardi , Yan Jia , Radu Calinescu , Ibrahim Habli

The importance of mission or safety critical software systems in many application domains of embedded systems is continuously growing, and so is the effort and complexity for reliability and safety analysis. Model driven development is…

Software Engineering · Computer Science 2021-06-01 Kai Hoefig , Andreas Joanni , Marc Zeller , Francesco Montrone , Martin Rothfelder , Rakshith Amarnath , Peter Munk , Arne Nordmann

Airborne collision avoidance systems provide an onboard safety net should normal air traffic control procedures fail to keep aircraft separated. These systems are widely deployed and have been constantly refined over the past three decades,…

Cryptography and Security · Computer Science 2020-10-05 Matthew Smith , Martin Strohmeier , Vincent Lenders , Ivan Martinovic

Unmanned Traffic Management (UTM) federated ecosystems, such as InterUSS, enable secure coordination among UAS Service Suppliers (USSs). However, they bring up some security challenges at the infrastructure level that haven't been fully…

Cryptography and Security · Computer Science 2026-05-13 Henrique Curi de Miranda , Ágney Lopes Roth Ferraz , Wagner Comin Sonaglio , Lourenço Alves Pereira Júnior

Agile software development is becoming increasingly popular in the aerospace industry because of its capability to accommodate requirement changes. However, safety-critical domains require compliance with strict regulations such as the…

Software Engineering · Computer Science 2025-03-07 J. Eduardo Ferreira Ribeiro , Mário Zenha-Rela , João Gabriel Silva

The advancing digitalization of vehicles and automotive systems bears many advantages for creating and enhancing comfort and safety-related systems ranging from drive-by-wire, inclusion of advanced displays, entertainment systems up to…

Cryptography and Security · Computer Science 2019-11-18 Stefan Marksteiner , Zhendong Ma

Stable aerial manipulation during dynamic tasks such as object catching, perching, or contact with rigid surfaces necessarily requires compliant behavior, which is often achieved via impedance control. Successful manipulation depends on how…

Systems and Control · Electrical Eng. & Systems 2025-04-04 Amitabh Sharma , Saksham Gupta , Shivansh Pratap Singh , Rishabh Dev Yadav , Hongyu Song , Wei Pan , Spandan Roy , Simone Baldi

With the benefits of Internet of Vehicles (IoV) paradigm, come along unprecedented security challenges. Among many applications of inter-connected systems, vehicular networks and smart cars are examples that are already rolled out. Smart…

Cryptography and Security · Computer Science 2020-08-05 Faezeh Farivar , Mohammad Sayad Haghighi , Alireza Jolfaei , Sheng Wen

The semiconductor industry is fully globalized and integrated circuits (ICs) are commonly defined, designed and fabricated in different premises across the world. This reduces production costs, but also exposes ICs to supply chain attacks,…

Cryptography and Security · Computer Science 2017-10-31 Vasilios Mavroudis , Andrea Cerulli , Petr Svenda , Dan Cvrcek , Dusan Klinec , George Danezis