The information system (IS) has become an important backbone of the modern enterprise,
which has caused electronic data generated by the IS to be more easily manipulated and …

Recent embedded systems and SOCs design is confronted with the problem of the socalled
productivity gap. In order to cope with this problem, authors emphasize on using UML as a …

The paper presents formal verification method of logic controller specification taking into
account user-specified properties. Logic controller specification may be expressed as Petri …

Modelling of hardware behavior is the fundamental process of hardware design project.
Possible specification techniques, like UML 2. x Activity Diagrams or Control Interpreted …

Unified Modeling Language (UML) is a standardised Object Management Group (OMG)
notation among software engineers. There have been many attempts to design alternatives …

Modeling is an efficient way to improve SoC design efficiency. In this paper, a Model Driven
Architecture (MDA) based approach is proposed to combine the capability of newly released …

The increasing complexity of modern System-on-Chip (SoC) platforms has revealed the
need for methodologies that enable a rigorous engineering design process, based on a …

In this paper, we would like to present a new UML-based methodology for embedded
applications design. Our approach starts from a pure sequential object paradigm model from …

The paper introduces a logic controller design system, called PNAD, supporting UML activity
diagrams in version 2. x as a semi-formal specification technique. The system enables …

On-chip systems (also known as System-on-chip or SoC) are more and more complex. SoC
design heavily relies on reuse of building blocks, called IPs (Intellectual Property). These IPs …