12333 search results - page 541 / 2467 » System Level Modelling for Hardware Software Systems |
191
click to vote
EMSOFT
2005
Springer
16 years 17 days ago
2005
Springer
systems are commonly abstracted as collections of interacting components. This perspective has lead to the insight that component behaviors can be defined separately from admissi...
200
click to vote
APCCM
2008
15 years 8 months ago
2008
Modeling is core software engineering practice. Conceptual models are constructed to establish an abstract understanding of the domain among stakeholders. These are then refined i...
199
click to vote
CSSE
2008
IEEE
16 years 1 months ago
2008
IEEE
—In this paper, a model of Embedded DC Motor Ethernet Control System is proposed with analysis on transmission time delay and data packet dropout. Based on this model, the ECS is...
199
click to vote
RTCSA
2008
IEEE
16 years 1 months ago
2008
IEEE
COMDES-II is a component-based software framework intended for Model Integrated Computing (MIC) of embedded control systems with hard real-time constraints. We present a transforma...
166
click to vote
FSTTCS
2010
Springer
15 years 5 months ago
2010
Springer
In this paper, we address the verification problem of ordered multi-pushdown systems: A multistack extension of pushdown systems that comes with a constraint on stack operations s...