Main goal of this paper is to define a solution for employee training and development programs. The goal is accomplished through formulating of project management plan and specifications of requirements and software architecture.

This master's thesis is engaged in standardization of relation between costumer and supplier from perspective of purchasing products in the automotive industry. In this thesis are specified requirements at the suppliers of plastic parts. The costumer is Robert Bosch České Budějovice (RBCB). By standardization we understand selection and description of customer’s requirements at supplier.

abstract: As robots become mechanically more capable, they are going to be more and more integrated into our daily lives. Over time, human’s expectation of what the robot capabilities are is getting higher. Therefore, it can be conjectured that often robots will not act as human commanders intended them to do. That is, the users of the robots may have a different point of view from the one the robots do. The first part of this dissertation covers methods that resolve some instances of this mismatch when the mission requirements are expressed in Linear Temporal Logic (LTL) for handling coverage, sequencing, conditions and avoidance. That is, the following general questions are addressed: * What cause of the given mission is unrealizable? * Is there any other feasible mission that is close to the given one? In order to answer these questions, the LTL Revision Problem is applied and it is formulated as a graph search problem. It is shown that in general the problem is NP-Complete. Hence, it is proved that the heuristic algorihtm has 2-approximation bound in some cases. This problem, then, is extended to two different versions: one is for the weighted transition system and another is for the specification under quantitative preference. Next, a follow up question is addressed: * How can an LTL specified mission be scaled up to multiple robots operating in confined environments? The Cooperative Multi-agent Planning Problem is addressed by borrowing a technique from cooperative pathfinding problems in discrete grid environments. Since centralized planning for multi-robot systems is computationally challenging and easily results in state space explosion, a distributed planning approach is provided through agent coupling and de-coupling. In addition, in order to make such robot missions work in the real world, robots should take actions in the continuous physical world. Hence, in the second part of this thesis, the resulting motion planning problems is addressed for non-holonomic robots. That is, it is devoted to autonomous vehicles’ motion planning in challenging environments such as rural, semi-structured roads. This planning problem is solved with an on-the-fly hierarchical approach, using a pre-computed lattice planner. It is also proved that the proposed algorithm guarantees resolution-completeness in such demanding environments. Finally, possible extensions are discussed. / Dissertation/Thesis / Doctoral Dissertation Computer Science 2019

We present a pattern system for property specification. It extends the existing patterns identified in [4] which allow to reason about occurrence and order of events, but not about time conditions. Introducing time-related patterns allows the specification of real-time requirements. The paper is limited to 3 pages. Therefore it contains only basic ideas. The details can be found in [9].

Målet med examensarbetet var att ta fram en kravspecifikation till KTH:s och ICT:s webbportal avseende utökning av tjänster för förmedling av sommarjobb, mentorskap, studiebesök och projektidéer. Syftet är att beskriva hur de fyra tjänsterna kan fungera i interaktionen mellan användaren och webbportalen. Det hela sammanställdes i en kravspecifikation med hjälp av användarfall. Metoden som valdes för att genomföra arbetet var aktionsforskning. Första steget i metoden var att studera webbportalen och sedan genom intervjuer och diskussioner ta fram användarfallen. Analysen av resultaten visar att ingenting saknas gällande funktionaliteten hos tjänsterna, men det skulle vara bra med ytterligare validering genom att diskutera kravspecifikationen med någon kunnig inom användarfall. / The goal of this paper was to produce a requirements specification for KTH:s and ICT:s web portal regarding the extension of the services intermediation of summer job, mentoring, study visits and project ideas. The purpose of the paper is to describe how the four services can function in the interaction between the user and the web portal. This was compiled into a requirements specification consisting of a number of use cases. The method chosen to conduct the research was action research. The first step of the method was to study the web portal and then through interviews and discussions create the use cases. The analysis of the results shows that nothing is missing regarding the functionality of the services, but it would be good with further validation by discussing the requirements specification with someone knowledgeable in the field of use cases.

This thesis concerns the design, implementation and evaluation of a specification based testing architecture for reactive systems using the paradigm of learning-based testing. As part of this work we have designed, verified and implemented new incremental learning algorithms for DFA and Kripke structures.These have been integrated with the NuSMV model checker to give a new learning-based testing architecture. We have evaluated our architecture on case studies and shown that the method is effective. / QC 20110822

Embedded systems are a crucial part of modern vehicles today and are used widely by the automotive industry to control safety-critical functions. To verify that the software will work correctly, formal verification can be used to prove that the code will always behave correctly according to some specification. This report will look into how to formulate the specification in such a way that it is easy to use, consistent and can be used efficiently for code verification. Two different models are looked into in the report, and applied to real automotive embedded code. From this, conclusions are made about the different models. / Inbäddade system är en viktig del av moderna motorfordon idag,  och används av stora delar av fordonsindustrin för att kontrollera säkerhetskritiska funktioner. För att verifiera att mjukvaran fungerar korrent, kan man använda formell verifiering för att bevisa att koden alltid fungerar korrekt enligt en specifikation. Den här rapporten kommer att studera hur man bäst formulerar en sådan specifikation så att den är lätt att använda, konsekvent och kan användas effektivt för kodverifiering. Två olika modeller används i rapporten, och appliceras till en riktig kodmodul från fordonsindustrin. Från detta görs sedan slutsatser om de olika modellerna.

<p>With increasing demands in people’s work and life, successful self-regulation of multiple goals/tasks becomes important to one’s well-being and performance. One individual difference in this process is one’s preference for multitasking (i.e., polychronicity), which was found to be important in individuals’ psychological experience and performance. However, in terms of our understanding of the nature of this construct, there are at least two issues: 1) most research has assumed that preference for multitasking and preference for sequential pursuit are opposite ends of one continuum, which has not been directly tested; 2) different scales of polychronicity differ on their definitions of multitasking. To address these gaps, the present research seeks to clarify the relationships among individuals’ multitasking preferences and to develop a new and improved scale of these individual differences for future research in multitasking. To do so, three studies (<em>N</em> = 1367) were conducted to create and validate a scale that measures three potentially distinct preferences: concurrent preference, switching preference, and sequential preference. These studies empirically tested the relationships among the three preferences. The results were replicated in both goal and task contexts and with different response anchors. Findings suggest that it is questionable to assume multitasking preference and sequential preference are antithetical, while concurrent and switching preferences were highly correlated. I conclude with a discussion of the theoretical implications and future directions for multitasking research.</p>

Requirements in the development of application-specific integrated circuits (ASICs) continue to increase. This leads to more complexities in handling and processing the requirements, which often causes inconsistencies in the requirments. To better manage the resulting complexities, ASIC development is evolving into a model-based process. This thesis is part of a continuing research into the application and evolution of a model-based process for ASIC development at the Robert Bosch GmbH. It focuses on providing methologies that enable tracing of ASIC requirements and specifications as part of a model-based development process to eliminate inconsistencies in the requirements. The question of what requirements are and, what their traceability means, is defined and analysed in the context of their relationships to models. This thesis applies requirements engineering (RE) practices to the processing of ASIC requirements in a development environment. This environment is defined by availability of tools which are compliant with some standards and technologies. Relying on semi-formal interviews to understand the process in this environment and what stakeholders expect, this thesis applies the standards and technologies with which these tools are compliant to provide methodologies that ensures requirements traceability. Effective traceability methods were proven to be matrices and tables, but for cases of fewer requirements (ten or below), requirement diagrams are also efficient and effective. Furthermore, the development process as a collaborative effort was shown to be enhanced by using the resulting tool-chain, when the defined methodologies are properly followed. This solution was tested on an ASIC concept development project as a case study.

京都大学 / 0048 / 新制・課程博士 / 博士(医学) / 甲第18172号 / 医博第3892号 / 新制||医||1003(附属図書館) / 31030 / 京都大学大学院医学研究科医学専攻 / (主査)教授 篠原 隆司, 教授 中辻 憲夫, 教授 萩原 正敏, 教授 小西 郁生 / 学位規則第4条第1項該当 / Doctor of Medical Science / Kyoto University / DGAM