The CHAMP (chalmers Architecture and Methodology for Flexible Production) system is a general control system for manufacturing that can be configured for arbitrary production. The same system can be used recursive at ...
详细信息
The automotive industry has always had a strong pressure of ensuring that only high quality software is allowed to control the vehicle. The general increase in the amount of software in a modern vehicle and trends in ...
详细信息
ISBN:
(纸本)1891706241
The automotive industry has always had a strong pressure of ensuring that only high quality software is allowed to control the vehicle. The general increase in the amount of software in a modern vehicle and trends in the industry is creating more open standards and systems. In particular, the software architectures used will have to support extension with 3rd party components and extension at run-time during normal operation of the vehicle. These trends put additional pressure on the automotive industry to verify and validate the quality of the systems. Since the software often governs safety-critical features there are high demands on the robustness of the final system. It is currently not clear how these robustness testing challenges should be met and previous research have not addressed this fully. We outline the challenges and point to possible solutions that the research community needs to work together with the automotive industry to realize.
We present a web service for natural language parsing, prediction, generation, and translation using grammars in Portable Grammar Format (PGF), the target format of the Grammatical Framework (GF) grammar compiler. The...
详细信息
GF is a grammar formalism that has a powerful type system and module system, permitting a high level of abstraction and division of labour in grammar writing. GF is suited both for expert linguists, who appreciate its...
It is a well-known fact that nomadic devices usage while driving can cause driver distraction that might lead to accidents. A proposed solution to increase safety might be an integrated in-vehicle gateway. There is a ...
详细信息
It is a well-known fact that nomadic devices usage while driving can cause driver distraction that might lead to accidents. A proposed solution to increase safety might be an integrated in-vehicle gateway. There is a need to understand how integrated in-vehicle interface solutions are feasible to solve possible integration problems. Cooperation between stake-holders is needed to satisfy the end-users. In this report, we present the feasibility study and two laboratory studies. The feasibility study shows that there are positive attitudes towards integrated solutions. Two laboratory studies with simulator confirmed the safety advantages with integrated interface compared to nomadic device use while driving. The integrated interface design should focus on usability to reduce interaction complexity to support easier interaction and safer driving. However, the negative effects of distraction caused by performing the secondary task cannot be completely reduced. Therefore a Zonal adaptive management workload system is proposed that focus on driver performance factors as well as external traffic situations to have better predictive effects.
We propose a new way to reason about general recursive functional in the dependently typed programming language Agda,is based on Martin-Löf's intuitionistic type theory. We show to embed an external programmi...
详细信息
Multiplier reduction trees that have a logarithmic logic depth generally exhibit poor regularity, in terms of hoy the gates are interconnected. Consequently, it is well known that Partial-Product Reduction Trees (PPRT...
详细信息
Smartphones are widely used today and their popularity will certainly not slow down in the near future due to improved functionality and new technology improvements. Becoming more and more similar to PCs and laptops, ...
详细信息
Satisfiability solving, the problem of deciding whether the variables of a propositional formula can be assigned in such a way that the formula evaluates to true, is one of the classic problems in computerscience. It...
详细信息
A common problem in optical motion capture is the so-called missing marker problem. The occlusion of markers can lead to significant loss of tracking accuracy unless continuous data flow is guaranteed by computational...
详细信息
暂无评论