Invention Grant
- Patent Title: Systems and methods for evaluating compliance of implementation code with a software architecture specification
-
Application No.: US15861021Application Date: 2018-01-03
-
Publication No.: US10705800B2Publication Date: 2020-07-07
- Inventor: Jean Yves Brunel
- Applicant: The MathWorks, Inc.
- Applicant Address: US MA Natick
- Assignee: The MathWorks, Inc.
- Current Assignee: The MathWorks, Inc.
- Current Assignee Address: US MA Natick
- Agency: Wolf, Greenfield & Sacks, P.C.
- Priority: com.zzzhc.datahub.patent.etl.us.BibliographicData$PriorityClaim@21588d8c
- Main IPC: G06F8/10
- IPC: G06F8/10 ; G06F11/36 ; G06F8/35 ; G06F11/28 ; G06F8/74 ; G06F8/41
Abstract:
A code-proving system is adapted to analyze implementation code for compliance with a at least a specified model. The implementation code can be code that is used to provide control or semi-automated control of a complex electromechanical system, such as an automobile. The specified model may be written to comply with a meta-model such as the software architecture specification known as Automotive Open System Architecture (AUTOSAR).
Public/Granted literature
Information query
