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

Christel Seguin - One of the best experts on this subject based on the ideXlab platform.

  • dalculus theory and tool for Development Assurance level allocation
    International Conference on Computer Safety Reliability and Security, 2011
    Co-Authors: Pierre Bieber, Remi Delmas, Christel Seguin
    Abstract:

    The Development Assurance Level (DAL) indicates the level of rigor of the Development of a software or hardware function of an aircraft. We propose a theory formalizing the DAL allocation rules found in the ARP4754a recommended practices. A tool implementing this theory was developed in order to assist the safety specialists when checking or optimizing a DAL allocation.

  • SAFECOMP - DALculus: theory and tool for Development Assurance level allocation
    Lecture Notes in Computer Science, 2011
    Co-Authors: Pierre Bieber, Remi Delmas, Christel Seguin
    Abstract:

    The Development Assurance Level (DAL) indicates the level of rigor of the Development of a software or hardware function of an aircraft. We propose a theory formalizing the DAL allocation rules found in the ARP4754a recommended practices. A tool implementing this theory was developed in order to assist the safety specialists when checking or optimizing a DAL allocation.

Pierre Bieber - One of the best experts on this subject based on the ideXlab platform.

  • dalculus theory and tool for Development Assurance level allocation
    International Conference on Computer Safety Reliability and Security, 2011
    Co-Authors: Pierre Bieber, Remi Delmas, Christel Seguin
    Abstract:

    The Development Assurance Level (DAL) indicates the level of rigor of the Development of a software or hardware function of an aircraft. We propose a theory formalizing the DAL allocation rules found in the ARP4754a recommended practices. A tool implementing this theory was developed in order to assist the safety specialists when checking or optimizing a DAL allocation.

  • SAFECOMP - DALculus: theory and tool for Development Assurance level allocation
    Lecture Notes in Computer Science, 2011
    Co-Authors: Pierre Bieber, Remi Delmas, Christel Seguin
    Abstract:

    The Development Assurance Level (DAL) indicates the level of rigor of the Development of a software or hardware function of an aircraft. We propose a theory formalizing the DAL allocation rules found in the ARP4754a recommended practices. A tool implementing this theory was developed in order to assist the safety specialists when checking or optimizing a DAL allocation.

Gilles Descargues - One of the best experts on this subject based on the ideXlab platform.

  • Risk Assessment for Airworthiness Security
    2012
    Co-Authors: Silvia Gil-casals, Philippe Owezarski, Gilles Descargues
    Abstract:

    The era of digital avionics is opening a fabulous opportunity to improve aircraft operational functions, airline dispatch and service continuity. But arising vulnerabilities could be an open door to malicious attacks. Necessity for security protection on airborne systems has been officially recognized and new standards are actually under construction. In order to provide Development Assurance and countermeasures effectiveness evidence to certification authorities, security objectives and specifications must be clearly identified thanks to a security risk assessment process. This paper gives main characteristics for a security risk assessment methodology to be integrated in the early design of airborne systems Development and compliant with airworthiness security standards.

  • SAFECOMP - Risk assessment for airworthiness security
    Lecture Notes in Computer Science, 2012
    Co-Authors: Silvia Gil Casals, Philippe Owezarski, Gilles Descargues
    Abstract:

    The era of digital avionics is opening a fabulous opportunity to improve aircraft operational functions, airline dispatch and service continuity. But arising vulnerabilities could be an open door to malicious attacks. Necessity for security protection on airborne systems has been officially recognized and new standards are actually under construction. In order to provide Development Assurance and countermeasures effectiveness evidence to certification authorities, security objectives and specifications must be clearly identified thanks to a security risk assessment process. This paper gives main characteristics for a security risk assessment methodology to be integrated in the early design of airborne systems Development and compliant with airworthiness security standards.

Bernard J. Turnock - One of the best experts on this subject based on the ideXlab platform.

  • Local Health Department Effectiveness in Addressing the Core Functions of Public Health: Essential Ingredients
    Journal of Public Health Policy, 1996
    Co-Authors: Arden S Handler, Bernard J. Turnock
    Abstract:

    Objectives : Objective 8.14 of the U.S. Healthy People 2000 objectives calls for 90% of the population to be served by a local health department (LHD) which is effectively carrying out the core functions of public health (assessment, policy Development, Assurance). This study seeks to describe the structural and service characteristics of an effective LHD. Methods : Data from a 1993 national random sample survey of LHD practice were merged with data from the 1992–1993 National Association of County and City Health Officials (NACCHO) profile of local health agencies. Using a definition of effectiveness related to the core functions of public health, the correlates of effectiveness were examined for 264 health departments in the matched sample. Results: Effectiveness of local health agencies was not related to jurisdiction size or type. Inputs (structural factors) associated with effectiveness included having a full-time agency head, a larger budget derived from a greater number of funding sources, and a larger number of staff. With respect to outputs (services), effective health departments were also more likely to provide a greater number of services directly, particularly personal preventive and treatment services. Conclusions: Only a few inputs are correlated with core-function related effectiveness. However, a profile of an effective health department emerges. Effective LHDs appear more likely to have full-time leadership which is able to tap diverse funding sources to provide the mix and match of community and personal prevention and treatment services needed to address community needs and improve the public's health.

  • Local Health Department Effectiveness in Addressing the Core Functions of Public Health: Essential Ingredients
    Journal of public health policy, 1996
    Co-Authors: Arden Handler, Bernard J. Turnock
    Abstract:

    Objectives: Objective 8.14 of the U.S. Healthy People 2000 objectives calls for 90% of the population to be served by a local health department (LHD) which is effectively carrying out the core functions of public health (assessment, policy Development, Assurance). This study seeks to describe the structural and service characteristics of an effective LHD.

Remi Delmas - One of the best experts on this subject based on the ideXlab platform.

  • dalculus theory and tool for Development Assurance level allocation
    International Conference on Computer Safety Reliability and Security, 2011
    Co-Authors: Pierre Bieber, Remi Delmas, Christel Seguin
    Abstract:

    The Development Assurance Level (DAL) indicates the level of rigor of the Development of a software or hardware function of an aircraft. We propose a theory formalizing the DAL allocation rules found in the ARP4754a recommended practices. A tool implementing this theory was developed in order to assist the safety specialists when checking or optimizing a DAL allocation.

  • SAFECOMP - DALculus: theory and tool for Development Assurance level allocation
    Lecture Notes in Computer Science, 2011
    Co-Authors: Pierre Bieber, Remi Delmas, Christel Seguin
    Abstract:

    The Development Assurance Level (DAL) indicates the level of rigor of the Development of a software or hardware function of an aircraft. We propose a theory formalizing the DAL allocation rules found in the ARP4754a recommended practices. A tool implementing this theory was developed in order to assist the safety specialists when checking or optimizing a DAL allocation.