Arms control for armed uninhabited vehicles: an ethical issue

Arming uninhabited vehicles (UVs) is an increasing trend. Widespread deployment can bring dangers for arms-control agreements and international humanitarian law (IHL). Armed UVs can destabilise the situation between potential opponents. Smaller systems can be used for terrorism. Using a systematic definition existing international regulation of armed UVs in the fields of arms control, export control and transparency measures is reviewed; these partly include armed UVs, but leave large gaps. For preventive arms control a general prohibition of armed UVs would be best. If that is unattainable, several measures should be taken. An explicit prohibition of autonomous attack, that is without a human decision, should be added to IHL. Concerning armed UVs remotely controlled by a human soldier, recommendations differ according to type or mission. New kinds of uninhabited nuclear-weapon carriers should be banned. Space weapons should be prohibited in general. UVs smaller than 0.2–0.5 m should be banned. Bigger remotely controlled armed UVs not equipped with weapons of mass destruction should be subject to numerical limitations in various categories. For these the Treaty on Conventional Armed Forces in Europe is an important precedent.     

Integrierte Entwicklung von Automotive-Software mit AutoFocus

Zur Beherrschung der komplexen vernetzten und verteilten Funktionen von Automotive-Software ist eine Beschreibung des zu erstellenden Systems auf verschiedenen Abstraktionsebenen und schrittweise überg?nge zwischen diesen Ebenen notwendig. Neben der Definition geeigneter Ebenen werden zur Unterstützung echtzeitkritischer Systemanteile ein einheitliches Berechnungsmodell, ebenenspezifische Beschreibungstechniken, sowie methodische Regeln für diese Abstraktionsebenen eingeführt und in den Werkzeugprototypen AutoFocus integriert.     

Play to win! Using games in library instruction to enhance student learning

Research has shown that educational games can have positive impacts on student learning and motivation. The success of a game played in a library instruction class depends on the type of game selected, the development of learning outcomes, and the flexibility of the librarian during class. This article explains the benefits to students and librarians of using games, discusses the development and use of a Jeopardy-style game, and provides practical tips for librarians interested in developing and incorporating games into one-time library instruction sessions.     

Reflective peer coaching: Crafting collaborative self-assessment in teaching

Reflective peer coaching is a formative model for improving teaching and learning by examining intentions prior to teaching, then reflecting upon the experience. The goal of reflective peer coaching is to promote self-assessment and collaboration for better teaching and ultimately better learning. There are obvious benefits to colleagues collaborating and sharing ideas, thoughts, and observations. However, many models of assessing teaching effectiveness focus on summative evaluation in which colleagues observe each other once or twice a year and fill out institutional evaluation forms. Rarely do colleagues engage in formative conversations about teaching that are guided by the instructor's personal goals and objectives. Reflective peer coaching necessitates a ten-minute planning conversation prior to the actual lesson and a ten-minute reflective conversation after the lesson. These conversations happen regularly and frequently to build self-awareness and self-assessment of the personal craft of teaching. The following article outlines the dynamics of the reflective peer coaching process as a formative assessment model that leads to better learning through improved teaching.     

Dimensions of variability in embedded operating systems

Design, implementation, and re-engineering of operating systems are still an ambitious undertaking. Despite, or even because, of the long history of theory and practice in this field, adapting existing systems to environments of different conditions and requirements as originally specified or assumed, in terms of functional and/or non-functional respects, is anything but simple. Especially this is true for the embedded systems domain which, on the one hand, calls for highly specialized and application-aware system abstractions and, on the other hand, cares a great deal for easily reusable implementations of these abstractions. The latter aspect becomes more and more important as embedded systems technology is faced with an innovation cycle decreasing in length. Software for embedded systems needs to be designed for variability, and this is in particular true for the operating systems of this domain. The paper discusses dimensions of variability that need to be considered in the development of embedded operating systems and presents approaches that aid construction and maintenance of evolutionary operating systems. CR subject classification  C.3; D.2.11; D.2.13; D.4.7