Industry 4.0 reference architectures: State of the art and future trends
Industry 4.0 has led to a dramatic shift in manufacturing processes, which must be
accomplished by interacting end-to-end industrial systems. While Industry 4.0 is still a big …
accomplished by interacting end-to-end industrial systems. While Industry 4.0 is still a big …
Soteria: Automated {IoT} safety and security analysis
Broadly defined as the Internet of Things (IoT), the growth of commodity devices that
integrate physical processes with digital systems have changed the way we live, play and …
integrate physical processes with digital systems have changed the way we live, play and …
What industry needs from architectural languages: A survey
Many times we are faced with the proliferation of definitions, concepts, languages, and tools
in certain (research) topics. But often there is a gap between what is provided by existing …
in certain (research) topics. But often there is a gap between what is provided by existing …
A framework for classifying and comparing architecture-centric software evolution research
Context: Software systems are increasingly required to operate in an open world,
characterized by continuous changes in the environment and in the prescribed …
characterized by continuous changes in the environment and in the prescribed …
Design and analysis of IoT applications: A model-driven approach
The Internet of Things (IoT) is a new paradigm consisting of heterogeneous entities that
communicate with each other by sending and receiving messages in heterogeneous formats …
communicate with each other by sending and receiving messages in heterogeneous formats …
Behavioral modeling and automated verification of a Cloud-based framework to share the knowledge and skills of human resources
Expert Cloud as a new class of Cloud computing systems by employing the Internet
infrastructures and Cloud computing concepts enables its users to request the skill …
infrastructures and Cloud computing concepts enables its users to request the skill …
Model-driven architecture based testing: A systematic literature review
Context Model-driven architecture based testing (MDABT) adopts architectural models of a
system under test and/or its environment to derive test artifacts. In the literature, different …
system under test and/or its environment to derive test artifacts. In the literature, different …
Do the informal & formal software modeling notations satisfy practitioners for software architecture modeling?
M Ozkaya - Information and Software Technology, 2018 - Elsevier
Context Software architectures can be modeled using semantically informal (ie, ambiguous)
or formal (ie, mathematically precise) software modeling notations. Objective In this paper …
or formal (ie, mathematically precise) software modeling notations. Objective In this paper …
Statistical model checking of dynamic software architectures
The critical nature of many complex software-intensive systems calls for formal, rigorous
architecture descriptions as means of supporting automated verification and enforcement of …
architecture descriptions as means of supporting automated verification and enforcement of …
A logic for the statistical model checking of dynamic software architectures
Dynamic software architectures emerge when addressing important features of
contemporary systems, which often operate in dynamic environments subjected to change …
contemporary systems, which often operate in dynamic environments subjected to change …