Abstract: A model-based functional hazard assessment (FHA) is disclosed. A disclosed example apparatus for generating a model-based FHA associated with a product includes an associator to associate a function of the product to a failure condition to define a first association, and associate a hazard assessment with the failure condition to define a second association, and associate a safety requirement with the hazard assessment to define a third association. The apparatus also includes an organizer to generate the FHA based on the first, second, and third associations. Disclosed examples include automated FHA data validation capabilities.

Abstract: A method for automatic generation of integration tests from unit tests includes automatically running, by a processor, a unit test for each model of a plurality of models making-up a system. The method also includes automatically determining, by the processor, integration of unit test cases of interfacing models for one or more groups of interfacing models of the plurality of models. The method additionally includes automatically running, by the processor, an integration test for each group of interfacing models using the unit tests for each model of the interfacing models. The method further includes automatically detecting, by the processor, at least one of inconsistent, incomplete or incorrect data transmitted between the interfacing models for each group of interfacing models.

Abstract: A method for automatic generation of integration tests from unit tests includes automatically running, by a processor, a unit test for each model of a plurality of models making-up a system. The method also includes automatically determining, by the processor, integration of unit test cases of interfacing models for one or more groups of interfacing models of the plurality of models. The method additionally includes automatically running, by the processor, an integration test for each group of interfacing models using the unit tests for each model of the interfacing models. The method further includes automatically detecting, by the processor, at least one of inconsistent, incomplete or incorrect data transmitted between the interfacing models for each group of interfacing models.