DeepAI AI Chat
Log In Sign Up

Towards Multidimensional Verification: Where Functional Meets Non-Functional

by   Maksim Jenihhin, et al.

Trends in advanced electronic systems' design have a notable impact on design verification technologies. The recent paradigms of Internet-of-Things (IoT) and Cyber-Physical Systems (CPS) assume devices immersed in physical environments, significantly constrained in resources and expected to provide levels of security, privacy, reliability, performance and low power features. In recent years, numerous extra-functional aspects of electronic systems were brought to the front and imply verification of hardware design models in multidimensional space along with the functional concerns of the target system. However, different from the software domain such a holistic approach remains underdeveloped. The contributions of this paper are a taxonomy for multidimensional hardware verification aspects, a state-of-the-art survey of related research works and trends towards the multidimensional verification concept. The concept is motivated by an example for the functional and power verification dimensions.


page 1

page 2

page 3

page 4


Analysing Design Approaches for the Power Consumption in Cyber-Physical Systems

The importance of Cyber Physical Systems (CPS) and Internet of Things (I...

RESCUE: Interdependent Challenges of Reliability, Security and Quality in Nanoelectronic Systems

The recent trends for nanoelectronic computing systems include machine-t...

Robust Machine Learning Systems: Challenges, Current Trends, Perspectives, and the Road Ahead

Machine Learning (ML) techniques have been rapidly adopted by smart Cybe...

Cyber-Physical Systems Resilience: State of the Art, Research Issues and Future Trends

Ideally, full integration is needed between the Internet and Cyber-Physi...

Diversity-By-Design for Dependable and Secure Cyber-Physical Systems: A Survey

Diversity-based security approaches have been studied for several decade...

Proceedings The 7th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT

The proceedings of the 7th International Workshop on Symbolic-Numeric Me...