Formal verification of automotive embedded UML designs by Bahig, Ghada

“…Software specification compliance in automotive remains in the bulk heavily dependent on traceability matrix, human based reviews, and testing activities conducted on either actual production software level or simulation level. ISO26262 automotive safety standard recommends, although not strongly, using formal notations in automotive systems that exhibit high risk in case of failure yet the industry still heavily relies on semi-formal notations such as UML. …”
Get full text
Get full text

Canine lumbosacral fracture-luxation stabilised with the String of Pearls interlocking plate system or pins combined with polymethylmethacrylate : a biomechanical comparison

Get full text

A model predictive control strategy for load shifting in a water pumping scheme with maximum demand charges

Get full text
Get full text