Define objects, their characteristics and their relationship to other objects
Define Message types and the objects that send and receive them
Each Object may have a state model. Capture states and state transitions
The Procedural model captures the behaviour of an object over its lifetime
Automatically generate code from your high level design, the implementation remains in step with the design
Get the best from Amenuensis tools with training, consultancy, or custom code generators.
If you don't have a software engineering team then why not engage Amenuensis to produce your embedded software system or IoT capability.