A model-driven framework for design and verification of embedded systems through SystemVerilog

Anwar, Muhammad Waseem; Rashid, Muhammad; Azam, Farooque; Kashif, Muhammad; Butt, Wasi Haider

doi:10.1007/s10617-019-09229-y

Cited by 49 publications

(13 citation statements)

References 24 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Transformation rules are the set of formal definitions [34] that define how one or more constructs in source model language map to one or more constructs in target model language [18]. While developing transformation rules, main focus is to reduce overall efforts and information loses during transformation process [17].…”

Section: B Transformation Rulesmentioning

confidence: 99%

A Model-Driven Mobile HMI Framework (MMHF) for Industrial Control Systems

et al. 2020

Self Cite

View full text Add to dashboard Cite

With the advent of software technologies, over a period of time, the Industrial Control Systems (ICSs) have grown exponentially. Whereas, almost all ICSs comprise Human Machine Interfaces (HMIs), which are the key component for monitoring and controlling complex industrial systems. For decades, traditional HMIs with simple User Interfaces (UIs) remained operational to minimize the complexities and resulting operational costs. However, due to the emergence of smartphone technologies, the perception about user interfaces has been transformed significantly and users now demand same sort of experience with industrial HMIs, as well. There are few industrial solutions, like, ICONICS GraphWorX to support the development of mobile HMI screens. However, such proprietary solutions are quite expensive. Furthermore, the underlying development approaches and source codes are not accessible in public domain. On the other hand, the state-of-the-art approaches for the development of native mobile HMI screens are hard to find in the literature. Consequently, there is dire need of a cost-effective, easy to use, open source framework for the development of native mobile HMI screens. In order to achieve this goal, here we propose, a Model-driven Mobile HMI Framework (MMHF). MMHF comprises, a Unified Modeling Language (UML) Profile for Mobile HMI (UMLPMH) for modeling of HMI screens. MMHF also includes, an open source transformation engine and a Model Driven Mobile-based HMI Code Generator (MDMHCG) to automatically transform UMLPMH models into target native mobile HMI implementations. Consequently, MMHF enables simpler way to design the HMI screens using UMLPMH and generates native Mobile HMI Screen implementations automatically using MDMHCG. The empirical evidence of MMHF is demonstrated through three (3) benchmark case studies, which prove that the MMHF is a feasible, cost effective and scalable solution to develop native HMI screens for wide-ranging ICSs. INDEX TERMS Human machine interface, mobile HMI, model driven engineering, unified modeling language, industrial control system, industry automation, Internet of Things (IoT).

show abstract

Section: B Transformation Rulesmentioning

confidence: 99%

A Model-Driven Mobile HMI Framework (MMHF) for Industrial Control Systems

et al. 2020

Self Cite

View full text Add to dashboard Cite

show abstract

“…A special mention should be done on Assertion Based Verification techniques, which include formal verification methods where designs are verified against certain assertions. In [15] a unified framework for executing static and dynamic verification [16] for embedded systems design is presented. One common static verification method is Timed Automata Models [17] which allow determining whether or not temporal requirements are met.…”

Section: A Related Workmentioning

confidence: 99%

Response-Time Analysis of Multipath Flows in Hierarchically-Scheduled Time-Partitioned Distributed Real-Time Systems

et al. 2020

View full text Add to dashboard Cite

Modern industrial cyberphisical systems exhibit increasingly complex execution patterns like multipath endto-end flows, that force the real-time community to extend the schedulability analysis methods to include these patterns. Only then it is possible to ensure that applications meet their deadlines even in the worstcase scenario. As a driving motivation, we present a real industrial application with safety requirements, that needs to be re-factored in order to leverage the features of new execution paradigms such as time partitioning. In this context we develop a new response-time analysis technique that provides the capacity of obtaining the worst-case response time of multipath flows in time-partitioned hierarchical schedulers and also in general fixed-priority (FP) real-time systems. We show that the results obtained with the new analysis reduce the pessimism of the currently used holistic analysis approach. INDEX TERMS Schedulability analysis, time partitioning, hierarchical scheduling, distributed systems, safety, industrial application.

show abstract

“…The work in this article is significant to the existing body of research knowledge in two different ways: (a) From an application developer's perspective, the proposed work provides two major benefits: simplicity and reusability [21,22]. The simplicity is achieved by providing a model-based solution at higher abstraction level.…”

Section: Plos Onementioning

confidence: 99%

A model-driven framework for data-driven applications in serverless cloud computing

et al. 2020

Self Cite

View full text Add to dashboard Cite

In a serverless cloud computing environment, the cloud provider dynamically manages the allocation of resources whereas the developers purely focus on their applications. The datadriven applications in serverless cloud computing mainly address the web as well as other distributed scenarios, and therefore, it is essential to offer a consistent user experience across different connection types. In order to address the issues of data-driven application in a real-time distributed environment, the use of GraphQL (Graph Query Language) is getting more and more popularity in state-of-the-art cloud computing approaches. However, the existing solutions target the low level implementation of GraphQL, for the development of a complex data-driven application, which may lead to several errors and involve a significant amount of development efforts due to various users' requirements in real-time. Therefore, it is critical to simplify the development process of data-driven applications in a serverless cloud computing environment. Consequently, this research introduces UMLPDA (Unified Modeling Language Profile for Data-driven Applications), which adopts the concepts of UML-based Model-driven Architectures to model the frontend as well as the backend requirements for data-driven applications developed at a higher abstraction level. Particularly, a modeling approach is proposed to resolve the development complexities such as data communication and synchronization. Subsequently, a complete open source transformation engine is developed using a Model-to-Text approach to automatically generate the frontend as well as backend low level implementations of Angular2 and GraphQL respectively. The validation of proposed work is performed with three different case studies, deployed on Amazon Web Services platform. The results show that the proposed framework enables to develop the data-driven applications with simplicity.

show abstract

A model-driven framework for design and verification of embedded systems through SystemVerilog

Cited by 49 publications

References 24 publications

A Model-Driven Mobile HMI Framework (MMHF) for Industrial Control Systems

A Model-Driven Mobile HMI Framework (MMHF) for Industrial Control Systems

Response-Time Analysis of Multipath Flows in Hierarchically-Scheduled Time-Partitioned Distributed Real-Time Systems

A model-driven framework for data-driven applications in serverless cloud computing

Contact Info

Product

Resources

About