Sciweavers

246 search results - page 4 / 50
» A functional formalization of on chip communications
Sort
View
FMICS
2010
Springer
13 years 7 months ago
SMT-Based Formal Verification of a TTEthernet Synchronization Function
Abstract. TTEthernet is a communication infrastructure for mixedcriticality systems that integrates dataflow from applications with different criticality levels on a single network...
Wilfried Steiner, Bruno Dutertre
AO
2006
128views more  AO 2006»
13 years 6 months ago
Towards ontologies for formalizing modularization and communication in large software systems
Large software systems are modularized in order to improve manageability. The parts of the software system communicate in order to achieve the desired functionality. To better und...
Daniel Oberle, Steffen Lamparter, Stephan Grimm, D...
DATE
2008
IEEE
113views Hardware» more  DATE 2008»
14 years 1 months ago
Physical Architectures of Automotive Systems
This section will provide insight into new developments and advances in electronics automotive architectures. The design of innovative chip architectures, new upcoming standards f...
T. Forest, Alberto Ferrari, G. Audisio, M. Sabatin...
VLSID
2005
IEEE
121views VLSI» more  VLSID 2005»
14 years 7 months ago
A Heuristic for Peak Power Constrained Design of Network-on-Chip (NoC) Based Multimode Systems
Designing NoC-based systems has become increasingly complex with support for multiple functionalities. Decisions regarding interconnections between the heterogeneous system compon...
Praveen Bhojwani, Rabi N. Mahapatra, Eun Jung Kim,...
TSMC
2011
289views more  TSMC 2011»
13 years 1 months ago
Formalizing Functional Flow Block Diagrams Using Process Algebra and Metamodels
Abstract—Functional flow block diagrams (FFBDs) are a traditional tool of systems engineering and remain popular in some systems engineering domains. However, their lack of form...
Allan I. McInnes, Brandon K. Eames, Russell J. Gro...