Requirements engineering
EARS Syntax for Signal-Level Requirements
EARS gives you five sentence patterns. Signal-level requirements break three of them in ways that are easy to miss until a reviewer asks what happens when the bus goes quiet.
Resources
Engineering notes from building VectorMBE
Working notes on requirements syntax, safety derivation and model validation. Written from what we have actually built and hit, including the parts that do not work yet.
Functional safety
Deriving ISO 26262 Requirements from DBC and ARXML
Your bus definition and your AUTOSAR model already encode most of a technical safety concept. Neither encodes the part ISO 26262 actually asks for.
Ontology engineering
Inducing SHACL Shapes From Engineering Data
Writing SHACL by hand for a model you did not design is miserable. Deriving it from the instances is tractable, and the derived shapes are more honest than the ones you would have written.