Sciweavers

SDL
2007
192views Hardware» more  SDL 2007»
13 years 5 months ago
OpenComRTOS: An Ultra-Small Network Centric Embedded RTOS Designed Using Formal Modeling
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
Eric Verhulst, Gjalt G. de Jong
ISCAS
1999
IEEE
94views Hardware» more  ISCAS 1999»
13 years 8 months ago
Designing system on a chip products using systems engineering tools
Systems engineering is the process which takes requirements specifications and engineers products and product families which involve hardware, software and possibly mechanical sub...
Graham R. Hellestrand
ECBS
1999
IEEE
92views Hardware» more  ECBS 1999»
13 years 8 months ago
A Seed for a STEP Application Protocol for Systems Engineering
An information model supporting core systems engineering design data is presented. The model provides, in conjunction with STEP (ISO 10303) framework services, an infrastructure t...
Erik Herzog, Anders Törne
SIGADA
2004
Springer
13 years 9 months ago
Information systems security engineering: a critical component of the systems engineering lifecycle
The purpose of this research paper is to illustrate the industrial and federal need for Information Systems Security Engineering (ISSE) in order to build Information Assurance (IA...
James F. Davis
HICSS
2008
IEEE
132views Biometrics» more  HICSS 2008»
13 years 10 months ago
Service Systems as Customer-Intensive Systems and Its Implications for Service Science and Engineering
What does differentiate service systems from traditional subjects of systems engineering such as manufacturing, and software? We address this issue by defining customer-intensive ...
Claudio S. Pinhanez