The AXIOM software layers

AXIOM project aims at developing a heterogeneous computing board (SMP-FPGA).The Software Layers developed at the AXIOM project are explained.OmpSs provides an easy way to execute heterogeneous codes in multiple cores. People and objects will soon share the same digital network for information exchange in a world named as the age of the cyber-physical systems. The general expectation is that people and systems will interact in real-time. This poses pressure onto systems design to support increasing demands on computational power, while keeping a low power envelop. Additionally, modular scaling and easy programmability are also important to ensure these systems to become widespread. The whole set of expectations impose scientific and technological challenges that need to be properly addressed.The AXIOM project (Agile, eXtensible, fast I/O Module) will research new hardware/software architectures for cyber-physical systems to meet such expectations. The technical approach aims at solving fundamental problems to enable easy programmability of heterogeneous multi-core multi-board systems. AXIOM proposes the use of the task-based OmpSs programming model, leveraging low-level communication interfaces provided by the hardware. Modular scalability will be possible thanks to a fast interconnect embedded into each module. To this aim, an innovative ARM and FPGA-based board will be designed, with enhanced capabilities for interfacing with the physical world. Its effectiveness will be demonstrated with key scenarios such as Smart Video-Surveillance and Smart Living/Home (domotics).Peer ReviewedPostprint (author's final draft

Remote systems development

Potential space missions of the nineties and the next century require that we look at the broad category of remote systems as an important means to achieve cost-effective operations, exploration and colonization objectives. This paper addresses such missions, which can use remote systems technology as the basis for identifying required capabilities which must be provided. The relationship of the space-based tasks to similar tasks required for terrestrial applications is discussed. The development status of the required technology is assessed and major issues which must be addressed to meet future requirements are identified. This includes the proper mix of humans and machines, from pure teleoperation to full autonomy; the degree of worksite compatibility for a robotic system; and the required design parameters, such as degrees-of-freedom. Methods for resolution are discussed including analysis, graphical simulation and the use of laboratory test beds. Grumman experience in the application of these techniques to a variety of design issues are presented utilizing the Telerobotics Development Laboratory which includes a 17-DOF robot system, a variety of sensing elements, Deneb/IRIS graphics workstations and control stations. The use of task/worksite mockups, remote system development test beds and graphical analysis are discussed with examples of typical results such as estimates of task times, task feasibility and resulting recommendations for design changes. The relationship of this experience and lessons-learned to future development of remote systems is also discussed

The UoSAT Spacecraft Programme

Spacecraft-designed, built and operated by traditional means-have proved extremely costly, thus limiting access to space to large organizations work within enormous budgets. The Amateur Satellite Service, over a period of 20 years, has demonstrated that small spacecraft can be built very inexpensively, and as a low-cost stimulus to technology. The UoSAT Programme at the University of Surrey (UK) has developed highly sophisticated yet inexpensive small satellites through adopting imaginative, cost effective spacecraft engineering techniques. Two UoSAT spacecraft, UoSAT 1 & 2, have been in orbit since 1981 and 1984 respectively supporting active space engineering research, space science and space education programmes associated with the amateur radio, educational and professional aerospace community worldwide

A Survey on Continuous Time Computations

We provide an overview of theories of continuous time computation. These theories allow us to understand both the hardness of questions related to continuous time dynamical systems and the computational power of continuous time analog models. We survey the existing models, summarizing results, and point to relevant references in the literature

Microprocessor- Oriented Algorithms for Data Communications

Data modem design has attracted a lot of scientific and commercial interest for more than three decades now. The field is important from a scientific point of view, since reliable data communications require very sophisticated solutions to many associated problems. From a commercial point of view its importance arises from the ever- rising needs for Computer networking and distributed processing in general. Modem algorithms are real-time in nature, so adequate technological support is important for modem design development. Advances in VLSI are opening new possibilities in this area and current trends toward integration of computing and communications are placing new demands on its further development. One can say that data modem design is entering its renaissance and this fact was our motivation in preparing this text. The objective is to bridge the gap between the increasing number of published papers on modem design and implementation, and the rapidly growing interest in the field. Included in the text are topics to introduce and familiarize the reader with modem design. Topics covered include: microprocessor applications in communications, data modem types, microprocessor and VLSI types, and technological impacts on design. Finally, we address the hardware issues such as the processor elements and interfacing, and software issues like the digital filter implementation. A comprehensive bibliography on modem design and implementation is also provided. With this bibliography one can research VLSI/microprocessor-based data modem design easily and thoroughly

A review of satellite time-transfer technology: Accomplishments and future applications

The research accomplishments by NASA in meeting the needs of the space program for precise time in satellite tracking are presented. As a major user of precise time signals for clock synchronization of NASA's worldwide satellite tracking networks, the agency provides much of the necessary impetus for the development of stable frequency sources and time synchronization technology. The precision time required for both satellite tracking and space science experiments has increased at a rate of about one order of magnitude per decade from 1 millisecond in the 1950's to 100 microseconds during the Apollo era in the 1960's to 10 microseconds in the 1970's. For the Tracking and Data Relay Satellite System, satellite timing requirements will be extended to 1 microsecond and below. These requirements are needed for spacecraft autonomy and data packeting

Michael John Caldwell Gordon (FRS 1994), 28 February 1948 -- 22 August 2017

Michael Gordon was a pioneer in the field of interactive theorem proving and hardware verification. In the 1970s, he had the vision of formally verifying system designs, proving their correctness using mathematics and logic. He demonstrated his ideas on real-world computer designs. His students extended the work to such diverse areas as the verification of floating-point algorithms, the verification of probabilistic algorithms and the verified translation of source code to correct machine code. He was elected to the Royal Society in 1994, and he continued to produce outstanding research until retirement. His achievements include his work at Edinburgh University helping to create Edinburgh LCF, the first interactive theorem prover of its kind, and the ML family of functional programming languages. He adopted higher-order logic as a general formalism for verification, showing that it could specify hardware designs from the gate level right up to the processor level. It turned out to be an ideal formalism for many problems in computer science and mathematics. His tools and techniques have exerted a huge influence across the field of formal verification

Gait Generation of Multilegged Robots by using Hardware Artificial Neural Networks

Living organisms can act autonomously because biological neural networks process the environmental information in continuous time. Therefore, living organisms have inspired many applications of autonomous control to small-sized robots. In this chapter, a small-sized robot is controlled by a hardware artificial neural network (ANN) without software programs. Previously, the authors constructed a multilegged walking robot. The link mechanism of the limbs was designed to reduce the number of actuators. The current paper describes the basic characteristics of hardware ANNs that generate the gait for multilegged robots. The pulses emitted by the hardware ANN generate oscillating patterns of electrical activity. The pulse-type hardware ANN model has the basic features of a class II neuron model, which behaves like a resonator. Thus, gait generation by the hardware ANNs mimics the synchronization phenomena in biological neural networks. Consequently, our constructed hardware ANNs can generate multilegged robot gaits without requiring software programs