3199 search results - page 147 / 640 » Variability in Automation System Models |
118
click to vote
ETFA
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper presents a novel colored Petri net model for the simulation of fully-switched Ethernet based networked control systems (NCS). The model of the NCS is built from models ...
122
click to vote
WSC
2008
15 years 4 months ago
2008
Despite increasing dependency on technology, the importance of humans is expected to increase and to provide a realistic basis for decision support; both technical and organizatio...
168
click to vote
FPT
2005
IEEE
15 years 8 months ago
2005
IEEE
We describe a communication-centric design methodology with SystemC that allows for efficient FPGA prototype generation of transaction level models (TLM). Using a framework compr...
101
click to vote
ECBS
2006
IEEE
15 years 6 months ago
2006
IEEE
We present in this paper a unified paradigm for the verification and validation of software and systems engineering design models expressed in UML 2.0 or SysML. This paradigm reli...
101
Voted
ICSE
2007
IEEE-ACM
16 years 2 months ago
2007
IEEE-ACM
er abstract summarizes the Threat Modeling method based on Attacking Path Analysis (T-MAP) which quantifies and prioritizes security threats by calculating the total severity weig...