The Experts below are selected from a list of 42519 Experts worldwide ranked by ideXlab platform

Peter Puschner - One of the best experts on this subject based on the ideXlab platform.

  • using sae j3061 for automotive security Requirement Engineering
    International Conference on Computer Safety Reliability and Security, 2016
    Co-Authors: Christoph Schmittner, Carolina Reyes, Oliver Dillinger, Peter Puschner
    Abstract:

    Modern vehicles are increasingly software intensive and connected. The potential hazards and economic losses due to cyberattacks have become real and eminent in recent years. Consequently, cybersecurity must be adequately addressed among other dependability attributes such as safety and reliability in the automotive domain. J3061, officially published in January 2016 by SAE International, is a much anticipated standard for cybersecurity for the automotive industry. It fills an important gap which is previously deemed irrelevant in the automotive domain. In this paper, we report our activities of applying J3061 to security Engineering of an automotive Electronic Control Unit (ECU) as a communication gateway. As an ongoing work, we share our early experience on the concept phase of the process, with a focus on the part of Threat Analysis and Risk Assessment (TARA). Based on our experience, we propose improvements and discuss its link to ISO 26262.

  • using sae j3061 for automotive security Requirement Engineering
    International Conference on Computer Safety Reliability and Security, 2016
    Co-Authors: Christoph Schmittner, Carolina Reyes, Oliver Dillinger, Peter Puschner
    Abstract:

    Modern vehicles are increasingly software intensive and connected. The potential hazards and economic losses due to cyberattacks have become real and eminent in recent years. Consequently, cybersecurity must be adequately addressed among other dependability attributes such as safety and reliability in the automotive domain. J3061, officially published in January 2016 by SAE International, is a much anticipated standard for cybersecurity for the automotive industry. It fills an important gap which is previously deemed irrelevant in the automotive domain. In this paper, we report our activities of applying J3061 to security Engineering of an automotive Electronic Control Unit (ECU) as a communication gateway. As an ongoing work, we share our early experience on the concept phase of the process, with a focus on the part of Threat Analysis and Risk Assessment (TARA). Based on our experience, we propose improvements and discuss its link to ISO 26262.

I Moulek - One of the best experts on this subject based on the ideXlab platform.

  • knowledge based Requirement Engineering for one of a kind complex systems
    Knowledge Based Systems, 2003
    Co-Authors: Svetan Ratchev, Kulwant S Pawar, Esmond Neil Urwin, D Muller, I Moulek
    Abstract:

    The success of Requirement specification in new design projects largely depends on an accurate match between customer Requirements and company product and process knowledge. Despite the recent developments in the domain there is still a lack of transparency and consistent definition and integration of the activities in Requirement Engineering (RE). There is also a lack of structured methods for capturing relevant enterprise knowledge and deploying it in support of decision making for Requirement specification. This paper reports on the knowledge acquisition and sharing for Requirement Engineering (KARE) approach for Requirement specification of one-of-a-kind complex systems. The approach provides a generic view of key RE processes clustered into three groups of activities: Requirement elicitation, analysis and negotiation. The process is supported by a set of knowledge functions aimed at facilitating the Requirement engineers in matching customer Requirements to product characteristics. The reported research has been developed as part of the ESPRIT collaborative project KARE funded by the European Commission.

Svetan Ratchev - One of the best experts on this subject based on the ideXlab platform.

  • knowledge enriched Requirement specification for one of a kind complex systems
    Concurrent Engineering, 2005
    Co-Authors: Svetan Ratchev, Esmond Urwin, Kulwant S Pawar, Dirk Mueller
    Abstract:

    Requirement Engineering (RE) process is becoming a key factor for the success of complex one-of-a-kind products. The RE process is commonly viewed as an early system Engineering phase with a major bearing on response time, quality, and cost. This study reports on the knowledge acquisition and sharing for Requirement Engineering (KARE), approach for Requirement specification of one-of-a-kind complex systems. The approach provides a generic view of key RE processes clustered into three groups of activities - Requirements elicitation, analysis, and negotiation. The process is supported by a set of knowledge functions aimed at facilitating the Requirement engineers in matching customer Requirements to product characteristics. At the analysis stage, the customer Requirements are transformed into product Requirements, which can be compared to existing company knowledge, for example, previous products, technology platforms, and production capabilities. The specified product Requirements are then interactively ev...

  • knowledge based Requirement Engineering for one of a kind complex systems
    Knowledge Based Systems, 2003
    Co-Authors: Svetan Ratchev, Kulwant S Pawar, Esmond Neil Urwin, D Muller, I Moulek
    Abstract:

    The success of Requirement specification in new design projects largely depends on an accurate match between customer Requirements and company product and process knowledge. Despite the recent developments in the domain there is still a lack of transparency and consistent definition and integration of the activities in Requirement Engineering (RE). There is also a lack of structured methods for capturing relevant enterprise knowledge and deploying it in support of decision making for Requirement specification. This paper reports on the knowledge acquisition and sharing for Requirement Engineering (KARE) approach for Requirement specification of one-of-a-kind complex systems. The approach provides a generic view of key RE processes clustered into three groups of activities: Requirement elicitation, analysis and negotiation. The process is supported by a set of knowledge functions aimed at facilitating the Requirement engineers in matching customer Requirements to product characteristics. The reported research has been developed as part of the ESPRIT collaborative project KARE funded by the European Commission.

Christoph Schmittner - One of the best experts on this subject based on the ideXlab platform.

  • using sae j3061 for automotive security Requirement Engineering
    International Conference on Computer Safety Reliability and Security, 2016
    Co-Authors: Christoph Schmittner, Carolina Reyes, Oliver Dillinger, Peter Puschner
    Abstract:

    Modern vehicles are increasingly software intensive and connected. The potential hazards and economic losses due to cyberattacks have become real and eminent in recent years. Consequently, cybersecurity must be adequately addressed among other dependability attributes such as safety and reliability in the automotive domain. J3061, officially published in January 2016 by SAE International, is a much anticipated standard for cybersecurity for the automotive industry. It fills an important gap which is previously deemed irrelevant in the automotive domain. In this paper, we report our activities of applying J3061 to security Engineering of an automotive Electronic Control Unit (ECU) as a communication gateway. As an ongoing work, we share our early experience on the concept phase of the process, with a focus on the part of Threat Analysis and Risk Assessment (TARA). Based on our experience, we propose improvements and discuss its link to ISO 26262.

  • using sae j3061 for automotive security Requirement Engineering
    International Conference on Computer Safety Reliability and Security, 2016
    Co-Authors: Christoph Schmittner, Carolina Reyes, Oliver Dillinger, Peter Puschner
    Abstract:

    Modern vehicles are increasingly software intensive and connected. The potential hazards and economic losses due to cyberattacks have become real and eminent in recent years. Consequently, cybersecurity must be adequately addressed among other dependability attributes such as safety and reliability in the automotive domain. J3061, officially published in January 2016 by SAE International, is a much anticipated standard for cybersecurity for the automotive industry. It fills an important gap which is previously deemed irrelevant in the automotive domain. In this paper, we report our activities of applying J3061 to security Engineering of an automotive Electronic Control Unit (ECU) as a communication gateway. As an ongoing work, we share our early experience on the concept phase of the process, with a focus on the part of Threat Analysis and Risk Assessment (TARA). Based on our experience, we propose improvements and discuss its link to ISO 26262.

Alberto L. Sangiovanni-vincentelli - One of the best experts on this subject based on the ideXlab platform.

  • CHASE: Contract-based Requirement Engineering for cyber-physical system design
    2018 Design Automation & Test in Europe Conference & Exhibition (DATE), 2018
    Co-Authors: Pierluigi Nuzzo, Yishai A. Feldman, Michele Lora, Alberto L. Sangiovanni-vincentelli
    Abstract:

    This paper presents CHASE, a framework for Requirement capture, formalization, and validation for cyber-physical systems. CHASE combines a practical front-end formal specification language based on patterns with a rigorous verification back-end based on assume-guarantee contracts. The front-end language can express temporal properties of networks using a declarative style, and supports automatic translation from natural-language constructs to low-level mathematical languages. The verification back-end leverages the mathematical formalism of contracts to reason about system Requirements and determine inconsistencies and dependencies between them. CHASE features a modular and extensible software infrastructure that can support different domain-specific languages, modeling formalisms, and analysis tools. We illustrate its effectiveness on industrial design examples, including control of aircraft power distribution networks and arbitration of a mixed-criticality automotive bus.