Composable Semantics & Quality
summary
Describes a development path that uses SysML model‑based systems engineering with one system of record (Sparx/ SysML, XMI interchange, or Modelio), autogenerates initial code and unit tests, and runs full-system simulation (Simics/Sniper) to push defect detection from 3.5% to 80% in early phases. Advocates separating a control plane and a data plane, using DDS and DPDK transports and exploring Named Data Networking to minimize data movement, reduce latency/power and produce quantitative assurance reports; 57 slides and labs available.
AI-written summary · about
chapters (14)
- 0:00Introduction to IoT
- 1:28What is IoT and its layers
- 8:47Development differences for IoT
- 15:34Model-based system engineering
- 21:54Cost and benefits of model-based development
- 35:00Data graph-driven IoT
- 45:26Microarchitecture and data movement
- 50:49Validation and simulation
- 1:00:36Motivation for quality in IoT
- 1:13:11Single model validation
- 1:22:48Tools and certification
- 1:30:34Fault detection and removal costs
- 1:45:09Future-proof IoT and data-driven future
- 1:48:02Conclusion and Q&A
related talks
21mDataEngBytes 2023 - SYD-T3-04 - Abhinav Goyal
20mBuild Systems, Not Code
46mMaster Software Architecture: From Simplicity to Complexity
29mTaming the Circus: The Future of Power System Planning Model Interoperability
24mBuilding Software Architecture from First Principles
24mBuilding Software Architecture from First Principles
54mGreater Quality Through Tactical Domain-Driven Design
45mSet your data free with model-based architecture diagramming