Dr. Ben A. Calloni, P.E., CISSP
Lockheed Martin Fellow, Software Security
OCRES Advanced Certified Professional
Member OMG Board of Directors
Co-chair OMG Systems Assurance Task Force
 

Digital transformation is making products smarter, but also adding significant complexity challenges, particularly to the software lifecycle. The introduction of a domain model concept will be presented as well as potential approaches to vehicle security prioritization.
 

Consumer devices are coined for the products used in open, dynamic and diverse environment by general users like automotive, service robots and smart buildings. This presentation proposes the standardization activities of safety assurance in OMG. Those should cover rapid iterations evaluating system behaviors and accurate dynamic behavior predictions for the risk identification. Awareness of physical influence from the controlled object can improve the software development productivity considerably because physics must be reflected to control software and almost determine the structure of control software even if the developer doesn't notice the fact explicitly.
 

Consumer products are increasingly becoming more capable of initiating physical action based on machine intelligence. This physical enablement leads to dramatic advances in consumer convenience and enjoyment but with an increased potential for danger to the customer.

Machine intelligence is typically realized through advances in software technology. And the average quality of software in enterprise and embedded systems is very far from acceptable for any safety-critical system.

However, there are methods that are used successfully to produce software that lives can depend on. Modern commercial aviation systems rely upon software for many life safety critical functions by using processes called DO-178B (software) and DO-254 (hardware). And the software in these systems has an amazingly good safety record. The failure rate of much of this software surpasses the failure rates of the materials used to build safety-critical physical components of the airframe.

The perspective of most marketing executives is that strict engineering requirements processes dramatically slow the time-to-market of new products. However, by including marketing personnel who are experts in understanding the nature of the customer problem in a well formed requirements process companies can accelerate the delivery of their products to market. And if these companies faithful follow the well-formed requirements traceability system like DO-178B and DO-254 then they will dramatically reduce the probability for injuring customers.
 

New personal care robots are expected to be introduced into consumer's daily life. For manufacturers, responsibility of safety of their products becomes heavier. Safety certification using assurance cases can be a solution for such problem?A standardization activity on "risk assessment" ongoing in OMG will be explained.
 

International standards are not easily understood and sometimes there are some rooms for misinterpretations. There have been some efforts to remedy this shortcomings such as using a formal notation, e.g., the Z notation to rigorously specify them. The aim of this talk is to show that the meta-modelling approach mainly having been practiced at OMG to specify standards is feasible to scrutinize the underlingy concepts for existing functional safety standards.