Today, SDL and SystemC are two very popular languages for embedded systems modeling. SDL has specific advanced features that make it good for reflection of the multi-object systems and interactions between modules. It is also good for system model validation. The SystemC models are better suitable for tracing internal functions of the modeled modules. The hypothetical possibility of combined us...

Over the course of several years working with many diverse projects using SDL for the design of commercial products, we have developed several practical guidelines related to creating SDL models for deployment. This paper discusses the SDL modeling guidelines, covering general recommendations, specific details about using SDL modeling features, performance considerations, platform interface con...

In this paper a new approach to the veriication of SDL-speciications is presented. The key idea of the method consists of associating a com-positional Petri net semantics to SDL-speciications. A temporal logic is deened which allows the formulation of relevant properties of SDL-speciications. The model checking problem for SDL-speciications according to this logic is then reduced to the model c...

Thus, SDL supports the rapid development and extension of complex systems to meet stringent time-to-market and cost constraints. In conjunction with SDL, Message Sequence Charts (MSC) are employed to describe specific use cases of the system. However, SDL and MSC abstract from nonfunctional aspects and implementational details as time, performance and other limitations of physical systems. Thus...

In this paper a new approach to the veriication of SDL-speciications is presented. The key idea of the method consists in associating a compositional Petri net semantics to SDL-speciications. A temporal logic is deened which allows the formulation of relevant properties of SDL-speciications. The model checking problem for SDL-speciications according to this logic is then reduced to the model ch...

UML and SDL both have their own merits and form a strong alliance when combined in one methodology. In this paper we describe three scenarios for combining UML and SDL: Forward Engineering, Reverse Engineering and Round-Trip Engineering. The foundation that makes these scenarios possible is a profound translation between UML & SDL'96 concepts. We also explain how the translation is adapted to i...

SDL (Specification and Description Language) is popular for communication protocol design. SDL tools allow simulating and verifying SDL models. In this paper, we show how SDL models can be transformed into hardware/software implementations for embedded systems. Our design flow contains a lightweight operating system integration layer and a cosimulation framework that supports hardware/software ...

Here we report the isolation of a murine model for heritable T cell lymphoblastic leukemia/lymphoma (T-ALL) called Spontaneous dominant leukemia (Sdl). Sdl heterozygous mice develop disease with a short latency and high penetrance, while mice homozygous for the mutation die early during embryonic development. Sdl mice exhibit an increase in the frequency of micronucleated reticulocytes, and T-A...

Abstract A scale-dependent localization (SDL) method was formulated and implemented in the Gridpoint Statistical Interpolation (GSI)-based four-dimensional ensemble-variational (4DEnVar) system for NCEP FV3-based Global Forecast System (GFS). SDL applies different to scales of ensemble covariances, while performing a single-step simultaneous assimilation all available observations. Two variants...