@inproceedings{37066, abstract = {{Today, mobile and embedded real-time systems have to cope with the migration and allocation of multiple software tasks running on top of a real-time operating system (RTOS) residing on one or multiple system processors. Abstract RTOS simulations and timing analysis applies for fast and early estimation to configure it towards the individual needs of the application and environment. In this context, a high accuracy of the simulation compared to an instruction set simulation (ISS) is of key importance. In this paper, we investigate the accuracy of abstract RTOS simulation and compare it to ISS and the behavior of the physical system. We show that we can reach an increased accuracy of the simulation when we inject noise into the time model. Our results indicate that it is sufficient to inject uniformly distributed random time values to the RTOS real-time clock.}}, author = {{Zabel, Henning and Müller, Wolfgang}}, booktitle = {{Proceedings of DATE'09}}, isbn = {{978-1-4244-3781-8}}, keywords = {{Timing, Analytical models, Clocks, Performance analysis, Scheduling, Operating systems, Delay, Real time systems, Application software, Context modeling}}, title = {{{Increased Accuracy through Noise Injection in Abstract RTOS Simulation}}}, doi = {{10.1109/DATE.2009.5090925}}, year = {{2009}}, } @inproceedings{37075, abstract = {{Complex control oriented embedded systems with hard real-time constraints require real-time operation system (RTOS) for predictable timing behavior. To support the evaluation of different scheduling strategies and task priorities, we use an abstract RTOS model based on SystemC. In this article, we present an annotation method for time estimation that supports flexible simulation and validation of real-time-constraints for task migration between different target processors without loss of simulation performance and less memory overhead.}}, author = {{Zabel, Henning and Müller, Wolfgang}}, editor = {{Kleinjohann, L. and Kleinjohann, B.}}, isbn = {{978-0-387-09660-5}}, keywords = {{Execution Time Schedule Strategy Simulation Speed Task Migration Atomic Block}}, publisher = {{Springer Verlag}}, title = {{{An Efficient Time Annotation Technique in Abstract RTOS Simulations for Multiprocessor Task Migration}}}, doi = {{10.1007/978-0-387-09661-2_18}}, volume = {{271}}, year = {{2008}}, } @article{10646, author = {{Danne, Klaus and Mühlenbernd, Roland and Platzner, Marco}}, issn = {{1751-8601}}, journal = {{IET Computers Digital Techniques}}, keywords = {{reconfigurable architectures, resource allocation, device reconfiguration time, dynamic hardware reconfiguration, dynamically reconfigurable hardware, light-weight runtime system, merge server distribute load, periodic real-time tasks, runtime system overheads, schedulability analysis, scheduling technique, server-based execution, synthesis tool flow}}, number = {{4}}, pages = {{295--302}}, title = {{{Server-based execution of periodic tasks on dynamically reconfigurable hardware}}}, doi = {{10.1049/iet-cdt:20060186}}, volume = {{1}}, year = {{2007}}, } @inproceedings{11785, abstract = {{In this paper we present a novel channel impulse response estimation technique for block-oriented OFDM transmission based on combining estimators: the estimates provided by a Kalman filter operating in the time domain and a Wiener filter in the frequency domain are optimally combined by taking into account their estimated error covariances. The resulting estimator turns out to be identical to the MAP estimator of correlated jointly Gaussian mean vectors. Different variants of the proposed scheme are experimentally investigated in an EEEE 802.11a-like system setup. They compare favourably with known approaches from the literature resulting in reduced mean square estimation error and bit error rate. Further, robustness and complexity issues are discussed}}, author = {{Haeb-Umbach, Reinhold and Bevermeier, Maik}}, booktitle = {{IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2007)}}, keywords = {{bit error rate, block-oriented OFDM transmission, channel estimation, channel impulse response estimation, combining estimators, error statistics, frequency domain estimation, Gaussian mean vectors, Gaussian processes, Kalman filter, Kalman filters, MAP estimator, maximum likelihood estimation, OFDM channel estimation, OFDM modulation, time domain estimation, time-frequency analysis, Wiener filter, Wiener filters}}, pages = {{III--277--III--280}}, title = {{{OFDM Channel Estimation Based on Combined Estimation in Time and Frequency Domain}}}, doi = {{10.1109/ICASSP.2007.366526}}, volume = {{3}}, year = {{2007}}, } @article{6070, abstract = {{The Fehrer-Raab effect (simple reaction time is unaffected by metacontrast masking of the test stimulus) seems to imply that a stimulus can trigger a voluntary reaction without reaching a conscious representation. However, it is also possible that the mask triggers the reaction, and that the masked test stimulus causes a focussing of attention from which processing of the mask profits, thus reaching conscious representation earlier. This is predicted by the Weather Station Model of visual masking. Three experiments tested this explanation. Experiment 1 showed that the masked test stimulus caused a temporal shift of the mask. Experiment 2 showed that the reaction in the Fehrer-Raab effect was not exclusively triggered by a conscious representation of the test stimulus: the mask was involved in evoking the reaction. Experiment 3 again revealed a temporal shift of the mask. However, the shift was only about half as large as the Fehrer-Raab effect. The psychometric functions suggested tha}}, author = {{Neumann, Odmar and Scharlau, Ingrid}}, issn = {{0340-0727}}, journal = {{Psychological Research}}, keywords = {{Fehrer-Raab effect, Weather Station Model, visual backward masking, reaction time, metacontrast masking, conscious representation, Cognition, Humans, Perceptual Masking, Pilot Projects, Psychology, Experimental, Psychometrics, Reaction Time, Visual Perception, Models, Reaction Time, Visual Contrast, Visual Masking}}, number = {{6}}, pages = {{667 -- 677}}, title = {{{Experiments on the Fehrer-Raab effect and the 'Weather Station Model' of visual backward masking.}}}, volume = {{71}}, year = {{2007}}, } @article{6079, abstract = {{The present paper reviews recent research on perceptual latency priming (PLP). PLP is the relative latency advantage--earlier perception--of a visual stimulus that is preceded by another, masked stimulus at its location. The first stimulus attracts attention which accelerates perception of the second stimulus. This facilitation arises even if the first stimulus is visually backward-masked by the second one. The paper summarises research on temporal and spatial properties of PLP and the question whether intentions mediate shifts of attention to external events. Possible sources of PLP besides visuo-spatial attention are discussed. Finally, I give a review of feedforward and reentrant models of PLP and compare them to the empirical evidence. (PsycINFO Database Record (c) 2016 APA, all rights reserved)}}, author = {{Scharlau, Ingrid}}, issn = {{0340-0727}}, journal = {{Psychological Research}}, keywords = {{perceptual latency priming, attentional facilitation, visuospatial attention, visual backward masking, prior entry, Attention, Humans, Judgment, Reaction Time, Space Perception, Attention, Priming, Response Latency, Visual Masking, Visuospatial Ability}}, number = {{6}}, pages = {{678 -- 686}}, title = {{{Perceptual latency priming: A measure of attentional facilitation.}}}, volume = {{71}}, year = {{2007}}, } @article{6073, abstract = {{The paper is concerned with two models of early visual processing which predict that priming of a visual mask by a preceding masked stimulus speeds up conscious perception of the mask (perceptual latency priming). One model ascribes this speed-up to facilitation by visuo-spatial attention [Scharlau, I., & Neumann, O. (2003a). Perceptual latency priming by masked and unmasked stimuli: Evidence for an attentional explanation. Psychological Research 67, 184-197], the other attributes it to nonspecific upgrading mediated by retino-thalamic and thalamo-cortical pathways [Bachmann, T. (1994). Psychophysiology of visual masking: The fine structure of conscious experience. Commack, NY: Nova Science Publishers]. The models make different predictions about the time course of perceptual latency priming. Four experiments test these predictions. The results provide more support for the attentional than for the upgrading model. The experiments further demonstrate that testing latency facilitation w}}, author = {{Scharlau, Ingrid and Ansorge, Ulrich and Horstmann, Gernot}}, issn = {{0001-6918}}, journal = {{Acta Psychologica}}, keywords = {{latency facilitation, temporal order judgments, visual processing, priming, conscious perception, visual mask, Adult, Attention, Female, Humans, Judgment, Male, Perceptual Masking, Reaction Time, Space Perception, Time Perception, Visual Perception, Consciousness States, Judgment, Priming, Visual Masking, Temporal Order (Judgment)}}, number = {{2}}, pages = {{129 -- 159}}, title = {{{Latency facilitation in temporal-order judgments: Time course of facilitation as a function of judgment type.}}}, volume = {{122}}, year = {{2006}}, } @inproceedings{39029, abstract = {{UML 2.0 provides a rich set of diagrams for systems documentation and specification. Much effort has been undertaken to employ different aspects of UML for multiple domains, mainly in the area of software systems. Considering the area of electronic design automation, however, we currently see only very few approaches which investigate UML for hardware design and hardware/software co-design. We present an approach for executable UML closing the gap from system specification to its model-based execution on reconfigurable hardware. For this purpose, we present our abstract execution platform (AEP), which is based on a virtual machine running an executable UML subset for embedded software and reconfigurable hardware. This subset combines UML 2.0 classes, state-machines and sequence diagrams for a complete system specification. We describe how these binary encoded UML specifications can be directly executed and give the implementation of such a virtual machine on a Virtex II FPGA. Finally, we present evaluation results comparing the AEP implementation with C code on a C167 microcontroller.}}, author = {{Schattkowsky, Tim and Müller, Wolfgang and Rettberg, Achim}}, booktitle = {{Proceedings of DATE’05}}, isbn = {{0-7695-2288-2}}, keywords = {{Hardware, Unified modeling language, Virtual machining, Object oriented modeling, Field programmable gate arrays, Java, Microcontrollers, Embedded software, Real time systems, Documentation}}, publisher = {{IEEE}}, title = {{{A Model-Based Approach for Executable Specification on Reconfigurable Hardware}}}, doi = {{10.1109/DATE.2005.20}}, year = {{2005}}, } @article{6068, abstract = {{Attending to a location shortens the perceptual latency of stimuli appearing at this location (perceptual latency priming). According to attentional explanations, perceptual latency priming relies on the speeded transfer of attended visual information into an internal model. However, doubts about the attentional origin have repeatedly been raised because efforts to minimize response bias have been insufficient in most studies. Five experiments investigated the contribution of a response bias to perceptual latency priming (judgment bias due to the two-alternative forced-choice method and due to the existence of the prime, criterion effects or second-order bias, sensorimotor priming). If any, only small response biases were found. The results thus support the attentional explanation. (PsycINFO Database Record (c) 2016 APA, all rights reserved)}}, author = {{Scharlau, Ingrid}}, issn = {{0340-0727}}, journal = {{Psychological Research}}, keywords = {{response bias, temporal order tasks, attention manipulation, masked primes, perceptual latency priming, Adult, Attention, Discrimination Learning, Female, Humans, Male, Memory, Short-Term, Orientation, Pattern Recognition, Visual, Perceptual Masking, Psychomotor Performance, Psychophysics, Reaction Time, Serial Learning, Attention, Latent Learning, Priming, Response Bias, Visual Perception, Response Latency, Temporal Order (Judgment)}}, number = {{4}}, pages = {{224 -- 236}}, title = {{{Evidence against response bias in temporal order tasks with attention manipulation by masked primes.}}}, volume = {{68}}, year = {{2004}}, } @inproceedings{39069, abstract = {{We present the syntax and semantics of a past- and future-oriented temporal extension of the Object Constraint Language (OCL). Our extension supports designers to express time-bounded properties over a state-oriented UML model of a system under development. The semantics is formally defined over the system states of a mathematical object model. Additionally, we present a mapping to Clocked Linear Temporal Logic (Clocked LTL) formulae, which is the basis for further application in verification with model checking. We demonstrate the applicability of the approach by the example of a buffer specification in the context of a production system.}}, author = {{Flake, Stephan and Müller, Wolfgang}}, booktitle = {{Proceedings of SEFM´04}}, isbn = {{0-7695-2222-X}}, keywords = {{Unified modeling language, Logic, Clocks, Boolean functions, Application software, Time factors, Real time systems, Formal verification, Buffer storage, Software packages}}, publisher = {{IEEE}}, title = {{{Past- and Future-Oriented Time-Bound Temporal Properties with OCL}}}, doi = {{10.1109/SEFM.2004.1347516}}, year = {{2004}}, } @article{34565, abstract = {{The textual Object Constraint Language (OCL) is primarily intended to specify restrictions over UML class diagrams, in particular class invariants, operation pre-, and postconditions. Based on several improvements in the definition of the language concepts in last years, a proposal for a new version of OCL has recently been published [43]. That document provides an extensive OCL semantic description that constitutes a tight integration into UML. However, OCL still lacks a semantic integration of UML Statecharts, although it can already be used to refer to states in OCL expressions. This article presents an approach that closes this gap and introduces a formal semantics for such integration through a mathematical model. It also presents the definition of a temporal OCL extension by means of a UML Profile based on the metamodel of the latest OCL proposal. Our OCL extension enables modelers to specify behavioral state-oriented real-time constraints. It provides an intuitive understanding and readability at application level since common OCL syntax and concepts are preserved. A well-defined formal semantics is given through the mapping of temporal OCL expressions to temporal logics formulae. }}, author = {{Flake, Stephan and Müller, Wolfgang}}, journal = {{Journal on Software and System Modeling (SoSyM)}}, keywords = {{Object Constraint Language UML Statecharts UML Profile Real-time constraints Temporal logics}}, number = {{3}}, pages = {{164--186}}, publisher = {{Springer-Verlag}}, title = {{{Formal Semantics of Static and Temporal State-Oriented OCL Constraints}}}, doi = {{10.1007/s10270-003-0026-x}}, volume = {{2}}, year = {{2003}}, } @article{6065, abstract = {{In the direct parameter specification (DPS) mode of sensorimotor control, response parameters can be specified by stimuli that are not consciously perceived [Psychological Research/Psychologische Forschung 52 (1990) 207]. DPS is contingent on the current intentions. The invisible stimuli can be processed for the purposes of sensorimotor control only if they match the actual intentions, for example, share task-relevant features. The present experiments explore whether attentional capture by masked abrupt-onset stimuli is mediated via DPS. Participants judged which of two visual targets appeared first. Masked primes preceded one of the targets. The primes were either similar to the targets or not, in shape, or in color. Target-like (task-relevant), but not distractor-like (task-irrelevant), primes facilitated perceptual latencies of targets trailing at their positions. Thus, the latency effects resulted from DPS of an attention shift, rather than from bottom-up capture or from top-down }}, author = {{Scharlau, Ingrid and Ansorge, Ulrich}}, issn = {{0042-6989}}, journal = {{Vision Research}}, keywords = {{direct parameter specification, DPS, attention shift, latency priming, sensorimotor control, stimuli, task-relevant features, visual targets, color, shape, latency effects, Adult, Attention, Discrimination (Psychology), Female, Humans, Judgment, Male, Perceptual Masking, Reaction Time, Visual Perception, Attention, Perceptual Motor Processes, Response Latency, Stimulus Onset, Visual Stimulation, Form and Shape Perception, Sensory Adaptation}}, number = {{12}}, pages = {{1351 -- 1363}}, title = {{{Direct parameter specification of an attention shift: Evidence from perceptual latency priming.}}}, volume = {{43}}, year = {{2003}}, } @article{6078, abstract = {{Four experiments investigated the influence of a metacontrast-masked prime on temporal order judgments. The main results were (1) that a masked prime reduced the latency of the mask's conscious perception (perceptual latency priming), (2) that this effect was independent of whether the prime suffered strong or weak masking, (3) that it was unaffected by the degree of visual similarity between the prime and the mask, and that (4) there was no difference between congruent and incongruent primes. Finding (1) suggests that location cueing affects not only response times but also the latency of conscious perception. (2) The finding that priming was unaffected by the prime's detectability argues against a response bias interpretation of this effect. (3) Since visual similarity had no effect on the prime's efficiency, it is unlikely that sensory priming was involved. (4) The lack of a divergence between the effects of congruent and incongruent primes implies a functional difference between t}}, author = {{Scharlau, Ingrid and Neumann, Odmar}}, issn = {{0340-0727}}, journal = {{Psychological Research}}, keywords = {{perceptual latency priming, temporal order judgments, masked stimuli, unmasked stimuli, attentional interpretation, response times, location cueing, visual perception, Adult, Attention, Female, Humans, Male, Models, Psychological, Perceptual Masking, Psychometrics, Reaction Time, Task Performance and Analysis, Time Perception, Masking, Reaction Time, Response Latency, Stimulus Parameters, Visual Contrast, Attention, Cues, Priming, Temporal Frequency, Temporal Order (Judgment)}}, number = {{3}}, pages = {{184 -- 196}}, title = {{{Perceptual latency priming by masked and unmasked stimuli: Evidence for an attentional interpretation.}}}, volume = {{67}}, year = {{2003}}, } @article{6086, abstract = {{Visual stimuli (primes) reduce the perceptual latency of a target appearing at the same location (perceptual latency priming, PLP). Three experiments assessed the time course of PLP by masked and, in Experiment 3, unmasked primes. Experiments 1 (N=11; mean age 26.9) and 2 (N=12; mean age 25.6) investigated the temporal parameters that determine the size of priming. Stimulus onset asynchrony was found to exert the main influence accompanied by a small effect of prime duration. Experiment 3 (N=19; mean age 27.7) used a large range of priming onset asynchronies. We suggest to explain PLP by the Asynchronous Updating Model which relates it to the asynchrony of 2 central coding processes, preattentive coding of basic visual features and attentional orienting as a prerequisite for perceptual judgments and conscious perception. (PsycINFO Database Record (c) 2017 APA, all rights reserved)}}, author = {{Scharlau, Ingrid and Neumann, Odmar}}, issn = {{0001-6918}}, journal = {{Acta Psychologica}}, keywords = {{perceptual latency priming, temporal parameters, Asynchronous Updating Model, time course, stimulus onset asynchrony, visual masking, attention, Adult, Attention, Female, Humans, Male, Perceptual Masking, Reaction Time, Time Perception, Visual Perception, Attention, Priming, Stimulus Onset, Visual Masking, Visual Perception, Models, Time}}, number = {{2}}, pages = {{185 -- 203}}, title = {{{Temporal parameters and time course of perceptual latency priming.}}}, volume = {{113}}, year = {{2003}}, } @article{6074, abstract = {{Presenting a masked prime leading a target influences the perceived onset of the masking target. This priming effect is explained by the asynchronous updating model: The prime initiates attentional allocation toward its location, which renders a trailing target at the same place consciously available earlier. In 3 experiments, this perceptual latency priming by leading primes was examined jointly with the effects of trailing primes in order to compare the explanation of the asynchronous updating model with the onset-averaging and the P-center hypotheses. Exp 1 (n=15, mean age 27.1 yrs) showed that an attended, as well as an unattended, prime leads to perceptual latency priming. In addition, a large effect of trailing primes on the onset of a target was found. As Exp 2 (n=13, mean age 26.5 yrs) demonstrated, this effect is quite robust, although smaller than that of a leading prime. In Exp 3 (n=13, mean age 24.8 yrs), masked primes were used. Under these conditions, no influence of tra}}, author = {{Scharlau, Ingrid}}, issn = {{0031-5117}}, journal = {{Perception & Psychophysics}}, keywords = {{attention, leading primes, trailing primes, temporal order perception, perceptual latency priming, Adult, Attention, Female, Fixation, Ocular, Humans, Male, Perceptual Masking, Random Allocation, Time Perception, Visual Perception, Attention, Masking, Priming, Stimulus Frequency, Temporal Frequency, Temporal Order (Judgment)}}, number = {{8}}, pages = {{1346 -- 1360}}, title = {{{Leading, but not trailing, primes influence temporal order perception: Further evidence for an attentional account of perceptual latency priming.}}}, volume = {{64}}, year = {{2002}}, } @inproceedings{39403, abstract = {{The Unified Modeling Language (UML) has received wide acceptance as a standard language in the field of software specification by means of different diagram types. In a recent version of UML, the textual Object Constraint Language (OCL) was introduced to support specification of constraints for UML models. But OCL currently does not provide sufficient means to specify constraints over the dynamic behavior of a model. This article presents an OCL extension that is consistent with current OCL and enables modelers to specify state-related time-bounded constraints. We consider the case study of a flexible manufacturing system and identify typical real-time constraints. The constraints are presented in our temporal OCL extension as well as in temporal logic formulae. For general application, we define a semantics of our OCL extension by means of a time-bounded temporal logic based on Computational Tree Logic (CTL).}}, author = {{Flake, Stephan and Müller, Wolfgang}}, booktitle = {{Proceedings of HICSS-35}}, isbn = {{0-7695-1435-9}}, keywords = {{Unified modeling language, Logic, Formal verification, Real time systems, Programming profession, Vehicle dynamics, Software standards, Flexible manufacturing systems, Electronics industry, Protocols}}, location = {{Big Island, HI, USA }}, title = {{{Specification of Real-Time Properties for UML Models}}}, doi = {{10.1109/HICSS.2002.994469}}, year = {{2002}}, } @inproceedings{39502, abstract = {{The authors present a new approach to an interactive design and analysis environment for visual languages. The main components, i.e., editor animator and interpreter are introduced. Their interactions are being investigated emphasizing the interpreter-animator interaction and defining an interface supporting different levels of automation. The interpreter performs the executions on a logical level and triggers the animator. The interactive animation provides a very high degree of liveness since it is based on the tight integration of the animator and editor. The proposed architecture permits the distributed implementation of a system for real-time animation. Their concepts are validated by the implementation of a debugging environment for the complete visual programming language Pictorial Janus.}}, author = {{Dücker, M. and Lehrenfeld, Georg and Müller, Wolfgang and Tahedl, C.}}, booktitle = {{ Proceedings International Conference and Workshop on Engineering of Computer-Based Systems}}, isbn = {{0-8186-7889-5}}, keywords = {{Real time systems, Animation, Debugging, Automation, Computer languages, Timing, Environmental management, Programming environments, Visualization, Multimedia systems}}, location = {{Monterey, CA, USA }}, title = {{{A Generic System for Interactive Real--Time Animation}}}, doi = {{10.1109/ECBS.1997.581876}}, year = {{1997}}, }