Embedded systems represent a rapidly growing branch of information technology, characterised by the need for increased dependability, timeliness and efficiency. While functional languages allow developers to produce h...
详细信息
ISBN:
(纸本)9780889866416
Embedded systems represent a rapidly growing branch of information technology, characterised by the need for increased dependability, timeliness and efficiency. While functional languages allow developers to produce highly reliable and maintainable code, they ignore the aspect of time, and their efficiency is inferior to those of low-level languages currently dominating this field. Hume is a novel hybrid language that combines the functional paradigm with ideas from hardware design. It focuses on producing time- and space-constrained code while keeping the benefits of programming on a high level. This paper describes the development of a lift control simulation in Hume running on low-performance embedded hardware platforms, including the process of porting the code to these platforms.
Filtering XML data streams using efficient pattern matching algorithms is a fundamental ability for many data-centric applications and main purpose of the Template Matching sPecification Language (TMPL). In this paper...
详细信息
ISBN:
(纸本)9780889866416
Filtering XML data streams using efficient pattern matching algorithms is a fundamental ability for many data-centric applications and main purpose of the Template Matching sPecification Language (TMPL). In this paper extensions to the language are discussed that enable fomulating more powerful query patterns: The declarative type system, improved predicates, template references and sequence matching operators. An optimised matching run-time based on lazy constructed automata is introduced together with an explanation of the underlying formalism. An Example, case studies and performance measurements illustrate the usage and usability of TMPL.
Performance related problems are a key aspect in the software development process (SDP). In particular an early integration of performance considerations inside the SDP has been recognised during last years as an effe...
详细信息
Performance related problems are a key aspect in the software development process (SDP). In particular an early integration of performance considerations inside the SDP has been recognised during last years as an effective approach to speed up the production of high quality software. In this paper we present a design process that can help in producing high reliable software with predefined performance requirements. We propose the use of a performance plug-in to the ArgoUML CASE tool which allows to insert performance indices based on the OMG Profile for schedulability, Performance and Time Specification standard (Object Management Group, UML Profile for Schedulability, Performance and Time Specification ver 1.1, 2005) for the design of the software architecture. It also permits to map an UML model toward stochastic Petri Nets, which are used as the performance specification and evaluation tool.
暂无评论