"The fridge door is open" : temporal verification of a robotic assistant's behaviours

Robotic assistants are being designed to help, or work with, humans in a variety of situations from assistance within domestic situations, through medical care, to industrial settings. Whilst robots have been used in industry for some time they are often limited in terms of their range of movement or range of tasks. A new generation of robotic assistants have more freedom to move, and are able to autonomously make decisions and decide between alternatives. For people to adopt such robots they will have to be shown to be both safe and trustworthy. In this paper we focus on formal verification of a set of rules that have been developed to control the Care-O-bot, a robotic assistant located in a typical domestic environment. In particular, we apply model-checking, an automated and exhaustive algorithmic technique, to check whether formal temporal properties are satisfied on all the possible behaviours of the system. We prove a number of properties relating to robot behaviours, their priority and interruptibility, helping to support both safety and trustworthiness of robot behaviours

Child–parent interaction in relation to road safety education : Part 2 – main report

• Children and young people are particularly vulnerable road users. • Child pedestrian injury rates are poor compared with the rest of Europe. • The factors that impact on children’s road safety and their capability in traffic are numerous, multi-faceted and complex. • • The systematic review conducted by Cattan et al. (2008) as the initial phase of this study shows that: • parents see themselves as being responsible for developing their children’s road safety awareness and skills; • holding hands is the most common road-crossing interaction between parents and children; • adults rarely make use of road-crossing events to give oral instructions; • few parents and children are consistent in their road-crossing behaviour; • roadside training by volunteer parents for groups of children can lead to significant improvements in children’s road safety behaviour; • belief in fate seems to influence the likelihood of parents using restraints, such as seat belts or car seats, with their children; and • parents’ understanding of the child’s perspective in carrying out road safety tasks and their motivation to actively involve their child in making decisions at the roadside can be improved through training. • Social Cognitive Theory (Bandura, 1986) suggests that the modelling role of parents can make a significant contribution to children’s learning about road use and their development of traffic competence whether or not parents are aware of this. • The main aim of this study was to explore the way parents influence children and young people aged 0–16 years to be safer road users. • This study included children and young people aged 5–16 and parents of children aged 0–16 years old

The Silence After the Beep: Envisioning an Emergency Information System to Serve the Visually Impaired

Due to a series of legal and regulatory setbacks, media accessibility regulations for consumers who are blind and visually impaired have lagged significantly behind those for deaf individuals. Until April 2014, when the Federal Communications Commission’s Emergency Information Order took effect, blind consumers were left “in the dark” when their safety mattered most—during weather emergencies—because visual emergency information displayed in the on-screen crawl during television programming was not accessible in an aural format. The Commission now mandates that this information be provided in an aural form through the secondary audio stream for linear programming viewed on televisions and mobile devices and other “second screens” used inside the home over the MVPD’s network, but this requirement leaves many issues unresolved. This Issue Brief examines and analyzes the arguments made by industry and consumer groups for and against expanded regulation, and makes several recommendations that efficiently fill gaps in the current regulatory requirements for accessible emergency information. These recommendations are technically feasible, not unduly burdensome, and necessary to effectuate the purpose of the Twenty-First Century Communications and Video Accessibility Act of 2010. Specifically, the Commission can extend emergency information regulations to the entities it failed to reach with its Emergency Information Order and Second Report and Order by adopting the Linear Programming Definition of an MVPD that it puts forth in its MVPD Definition NPRM. The Commission should adopt this definition, thereby expanding the scope of entities required to comply with the Emergency Information Order, but it should curtail the Order’s rigidity by not passing prioritization guidelines and by removing the requirement to include school closures and changes in the bus schedule in the secondary audio stream

The Center/TRACON Automation System (CTAS): A video presentation

NASA Ames, working with the FAA, has developed a highly effective set of automation tools for aiding the air traffic controller in traffic management within the terminal area. To effectively demonstrate these tools, the video AAV-1372, entitled 'Center/TRACON Automation System,' was produced. The script to the video is provided along with instructions for its acquisition

Construction safety and digital design: a review

As digital technologies become widely used in designing buildings and infrastructure, questions arise about their impacts on construction safety. This review explores relationships between construction safety and digital design practices with the aim of fostering and directing further research. It surveys state-of-the-art research on databases, virtual reality, geographic information systems, 4D CAD, building information modeling and sensing technologies, finding various digital tools for addressing safety issues in the construction phase, but few tools to support design for construction safety. It also considers a literature on safety critical, digital and design practices that raises a general concern about ‘mindlessness’ in the use of technologies, and has implications for the emerging research agenda around construction safety and digital design. Bringing these strands of literature together suggests new kinds of interventions, such as the development of tools and processes for using digital models to promote mindfulness through multi-party collaboration on safet

The Status of Middle Schools in the Southeastern United States: Perceptions and Implementation of the Middle School Model

For more than 100 years, education communities have debated how best to educate the young adolescent. Proponents of both the junior high school model and the current middle school model have advocated for a specialized approach to educating adolescents that emphasizes the developmental needs of students. To accomplish this, various organizational structures and instructional approaches are recommended. This survey study examines the perceptions of these middle school practices and the implementation of those practices in middle schools in the Southeastern region of the United States. We note several key trends in our results and highlight key differences in perception of importance and implementation of middle school components and strategies compared to the most recent large scale survey administered by McEwin and Greene (2011)

A simulated annealing approach to schedule optimization for the SES facility

The Shuttle Engineering Simulator (SES) is a facility which houses the software and hardware for a variety of simulation systems. The simulators include the Autonomous Remote Manipulator, the Manned Maneuvering Unit, Orbiter/Space Station docking, and shuttle entry and landing. The SES simulators are used by various groups throughout NASA. For example, astronauts use the SES to practice maneuvers with the shuttle equipment; programmers use the SES to test flight software; and engineers use the SES for design and analysis studies. Due to its high demand, the SES is busy twenty-four hours a day and seven days a week. Scheduling the facility is a problem that is constantly growing and changing with the addition of new equipment. Currently a number of small independent programs have been developed to help solve the problem, but the long-term answer lies in finding a flexible, integrated system that provides the user with the ability to create, optimize, and edit the schedule. COMPASS is an interactive and highly flexible scheduling system. However, until recently COMPASS did not provide any optimization features. This paper describes the simulated annealing extension to COMPASS. It now allows the user to interweave schedule creation, revision, and optimization. This practical approach was necessary in order to satisfy the operational requirements of the SES

Broadcast scheduling for mobile advertising

We describe a broadcast scheduling system developed for a precision marketing firm specialized in location-sensitive permission-based mobile advertising using SMS (Short Message Service) text messaging. Text messages containing advertisements were sent to registered customers when they were shopping in one of two shopping centers in the vicinity of London. The ads typically contained a limited-time promotional offer. The company's problem was deciding which ads to send out to which customers at what particular time, given a limited capacity of broadcast time slots, while maximizing customer response and revenues from retailers paying for each ad broadcast. We solved the problem using integer programming with an interface in Microsoft Excel. The system significantly reduced the time required to schedule the broadcasts, and resulted both in increased customer response and revenues