Sciweavers

3911 search results - page 111 / 783
» Using Operational Architecture to Model Embedded Software
Sort
View
135
Voted
EMSOFT
2005
Springer
15 years 10 months ago
SHIM: a deterministic model for heterogeneous embedded systems
— Typical embedded hardware/software systems are implemented using a combination of C and an HDL such as Verilog. While each is well-behaved in isolation, combining the two gives...
Stephen A. Edwards, Olivier Tardieu
141
Voted
EMSOFT
2010
Springer
15 years 2 months ago
Components, platforms and possibilities: towards generic automation for MDA
Model-driven architecture (MDA) is a model-based approach for engineering complex software systems. MDA is particularly attractive for designing embedded systems because models ca...
Ethan K. Jackson, Eunsuk Kang, Markus Dahlweid, Di...
DDECS
2008
IEEE
227views Hardware» more  DDECS 2008»
15 years 6 months ago
Cryptographic System on a Chip based on Actel ARM7 Soft-Core with Embedded True Random Number Generator
The paper introduces a cryptographic System on a Chip (SoC) implementation based on recent Actel nonvolatile FPGA Fusion chip with embedded ARM7 soft-core processor. The SoC is bui...
Milos Drutarovsky, Michal Varchola
ANSOFT
2002
126views more  ANSOFT 2002»
15 years 4 months ago
The Real-Time Process Algebra (RTPA)
Abstract. The real-time process algebra (RTPA) is a set of new mathematical notations for formally describing system architectures, and static and dynamic behaviors. It is recogniz...
Yingxu Wang
128
Voted
ECMDAFA
2005
Springer
87views Hardware» more  ECMDAFA 2005»
15 years 10 months ago
On Relationships Between Query Models
Queries on software artifacts play an important role in novel software development approaches, such as Aspect-Oriented Software Development and OMG's Model Driven Architecture...
Dominik Stein, Stefan Hanenberg, Rainer Unland