HIP-HOPS

HiP-HOPS supports with state-of-the-art model-based techniques, as well as application of search meta-heuristics and sophisticated model-based analysis algorithms both sides of the V engineering lifecycle of a complex system, both the refinement of dependable designs from requirements to detailed SW-HW architecture, and the bottom up verification of dependability. This work has achieved substantial international recognition - more than 100 papers have been published or presented on topics related to this work. In the context of a string of recent European projects (ATESST, ATESST2, MAENAD, DEIS), HiP-HOPS has contributed to the specification of the error modelling capabilities of EAST-ADL, an emerging architecture description language developed as an industry standard for the design of vehicle control systems. HiP-HOPS today is widely recognised as one of the state-of-the-art techniques in the area of dependability analysis... Following years of research, the HiP-HOPS software tool..

Primary location: Hull United Kingdom