Sciweavers

1518 search results - page 156 / 304
» Rapid Embedded Hardware Software System Generation
Sort
View
165
Voted
WOTUG
2008
15 years 5 months ago
FPGA based Control of a Production Cell System
Most motion control systems for mechatronic systems are implemented on digital computers. In this paper we present an FPGA based solution implemented on a low cost Xilinx Spartan I...
Marcel A. Groothuis, Jasper J. P. van Zuijlen, Jan...
126
Voted
CODES
2002
IEEE
15 years 9 months ago
Codesign-extended applications
We challenge the widespread assumption that an embedded system’s functionality can be captured in a single specification and then partitioned among software and custom hardware ...
Brian Grattan, Greg Stitt, Frank Vahid
ECBS
2005
IEEE
110views Hardware» more  ECBS 2005»
15 years 9 months ago
Synthesis of C++ Software from Verifiable CSPm Specifications
CSP++ is an object-oriented application framework for execution of CSP specifications that have been automatically synthesized into C++ source code by the cspt translator. We desc...
Stephen Doxsee, William B. Gardner
SIGSOFT
2010
ACM
15 years 1 months ago
Updating requirements from tests during maintenance and evolution
Keeping requirements specification up-to-date during the evolution of a software system is an expensive task. Consequently, specifications are usually not updated and rapidly beco...
Eya Ben Charrada
ERLANG
2007
ACM
15 years 7 months ago
An Erlang framework for autonomous mobile robots
This paper presents an Erlang-based framework, developed by the authors, for the realisation of software systems for autonomous mobile robots. On the basis of the analysis of the ...
Corrado Santoro