Sciweavers

3108 search results - page 190 / 622
» An Approach to Incremental Design of Distributed Embedded Sy...
Sort
View
138
Voted
CASES
2010
ACM
15 years 1 months ago
Low cost multicast authentication via validity voting in time-triggered embedded control networks
Wired embedded networks must include multicast authentication to prevent masquerade attacks within the network. However, unique constraints for these networks make most existing m...
Christopher Szilagyi, Philip Koopman
135
Voted
IPPS
2007
IEEE
15 years 10 months ago
Design Alternatives for a High-Performance Self-Securing Ethernet Network Interface
This paper presents and evaluates a strategy for integrating the Snort network intrusion detection system into a high-performance programmable Ethernet network interface card (NIC...
Derek L. Schuff, Vijay S. Pai
129
Voted
CDC
2010
IEEE
101views Control Systems» more  CDC 2010»
14 years 10 months ago
Performance-oriented communication topology design for large-scale interconnected systems
Abstract-- Communication networks provide a larger flexibility with respect to the control design of large-scale interconnected systems by allowing the information exchange between...
Azwirman Gusrialdi, Sandra Hirche
137
Voted
ISORC
2000
IEEE
15 years 7 months ago
Verification of UML-Based Real-Time System Designs by Means of cTLA
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams an...
Günter Graw, Peter Herrmann, Heiko Krumm
142
Voted
ICCAD
2010
IEEE
119views Hardware» more  ICCAD 2010»
15 years 1 months ago
Symbolic system level reliability analysis
Abstract--More and more embedded systems provide a multitude of services, implemented by a large number of networked hardware components. In early design phases, dimensioning such ...
Michael Glaß, Martin Lukasiewycz, Felix Reim...