物件導向軟體之架構(Object-Oriented Software Construction)探討

We present nesC, a programming language for networked embedded systems that represent a new design space for application developers. An example of a networked embedded system is a sensor network, which consists of (potentially) thousands of tiny, low-power "motes," each of which execute concurrent, reactive programs that must operate with severe memory and power constraints.nesC's contribution is to support the special needs of this domain by exposing a programming model that incorporates event-driven execution, a flexible concurrency model, and component-oriented application design. Restrictions on the programming model allow the nesC compiler to perform whole-program analyses, including data-race detection (which improves reliability) and aggressive function inlining (which reduces resource consumption).nesC has been used to implement TinyOS, a small operating system for sensor networks, as well as several significant sensor applications. nesC and TinyOS have been adopted by a large number of sensor network research groups, and our experience and evaluation of the language shows that it is effective at supporting the complex, concurrent programming style demanded by this new class of deeply networked systems.

/pdf/the-nesc-language-a-holistic-approach-to-networked-embedded-3nbdmnogzq.pdf

The nesC language: a holistic approach to networked embedded systems

Some Unintended Consequences of Information Technology in Health Care: The Nature of Patient Care Information System-related Errors

Extensively class tested, this text takes an innovative approach to explaining the process of software testing: it defines testing as the process of applying a few well-defined, general-purpose test criteria to a structure or model of the software. The structure of the text directly reflects the pedagogical approach and incorporates the latest innovations in testing, including techniques to test modern types of software such as OO, web applications, and embedded software.

/pdf/introduction-to-software-testing-454uueymyx.pdf

Introduction to Software Testing

Introduction to Software Testing: List of Figures

Between June 1985 and January 1987, the Therac-25 medical electron accelerator was involved in six massive radiation overdoses. As a result, several people died and others were seriously injured. A detailed investigation of the factors involved in the software-related overdoses and attempts by users, manufacturers, and government agencies to deal with the accidents is presented. The authors demonstrate the complex nature of accidents and the need to investigate all aspects of system development and operation in order to prevent future accidents. The authors also present some lessons learned in terms of system engineering, software engineering, and government regulation of safety-critical systems containing software components. >

/pdf/an-investigation-of-the-therac-25-accidents-164wrw3s7w.pdf

An investigation of the Therac-25 accidents

Cal Poly students are participating in the development of a new class of picosatellite, the CubeSat. CubeSats are ideal as space development projects for universities around the world. In addition to their significant role in educating space scientists and engineers, CubeSats provide a low-cost platform for testing and space qualification of the next generation of small payloads in space. A key component of the project is the development of a standard CubeSat deployer. This deployer is capable of releasing a number of CubeSats as secondary payloads on a wide range of launchers. The standard deployer requires all CubeSats to conform to common physical requirements, and share a standard deployer interface. CubeSat development time and cost can be significantly reduced by the development of standards that are shared by a large number of spacecraft.

/pdf/development-of-the-standard-cubesat-deployer-and-a-cubesat-2i5td2h11f.pdf

Development of the standard CubeSat deployer and a CubeSat class PicoSatellite

Stanford University and California Polytechnic State University have combined efforts to develop a means of launching small picosatellites called CubeSat. The CubeSat is a 10cm cube weighting 1 kg or less. The launching system developed will provide launches for three satellites in one launcher tube. The first mission for this launcher will be to fly six tubes to launch as many as 24 CubeSats in May 2002 on a Kosmotras, Dnepr ELV from Bikinour, Ukraine. Stanford and Cal Poly are providing active technical support for the CubeSat developers, which are mostly universities. Once the CubeSats have been developed by the universities and other customers, they will be sent to Cal Poly for final testing, insertion into the launcher then shipped to One Stop Satellite Solutions in Ogden, Utah where they will be mounted on the OSSS Multiple Payload Adapter, then sent to Russia and integrated onto the Dnepr. TABLE OF CONTENTS

/pdf/cubesat-the-development-and-launch-support-infrastructure-4s1jkt3wye.pdf

CubeSat: The Development and Launch Support Infrastructure for Eighteen Different Satellite Customers on One Launch

The GENSO project is an international project that officially began in October 2006. The main goal of the project is to improve educational spacecraft communications by creating an international network of university and amateur ground stations. With the realization of such a network, more experimental data can be downloaded, a greater number of students can participate in realtime spacecraft mission operations with a hands-on approach, and new scientific missions can be realized.

/pdf/global-educational-network-for-satellite-operations-genso-4mk8ufiuua.pdf

Global Educational Network for Satellite Operations (GENSO)

Cal Poly students are participating in the development of a new class of picosatellite, the CubeSat. CubeSats are ideal as a development project for universities around the world. In additioin to their significant role in educating space scientists and engineers, CubeSats provide a low-cost platform for testing and space qualification of the next generation of small payloads in space. In expensive, commercial off-the- shelf components are used to demonstrate their ability to function in the space environment. A key innovation of the project is the development of a standard CubeSat deployer. This deployment system is capable of releasing a number of CubeSats as secondary payloads on a wide range of launchers. The standard deployer requires all CubeSats to conform to common physical requirements, and share a standard interface with the deployer.

Clark Savage Turner

Papers

An investigation of the Therac-25 accidents

Development of the standard CubeSat deployer and a CubeSat class PicoSatellite

CubeSat: The Development and Launch Support Infrastructure for Eighteen Different Satellite Customers on One Launch

Global Educational Network for Satellite Operations (GENSO)

CubeSat developments at Cal Poly: the standard deployer and PolySat