File Download

There are no files associated with this item.

  Links for fulltext
     (May Require Subscription)
Supplementary

Article: Computation platform for automatic analysis of embedded software systems using model based approach

TitleComputation platform for automatic analysis of embedded software systems using model based approach
Authors
Issue Date2005
PublisherSpringer Verlag. The Journal's web site is located at http://springerlink.com/content/105633/
Citation
Lecture Notes In Computer Science (Including Subseries Lecture Notes In Artificial Intelligence And Lecture Notes In Bioinformatics), 2005, v. 3707 LNCS, p. 114-128 How to Cite?
AbstractIn this paper, we describe a computation platform called ReachLab, which enables automatic analysis of embedded software systems that interact with continuous environment. Algorithms are used to specify how the state space of the system model should be explored in order to perform analysis. In ReachLab, both system models and analysis algorithm models are specified in the same framework using Hybrid System Analysis and Design Language (HADL), which is a meta-model based language. The platform allows the models of algorithms to be constructed hierarchically and promotes their reuse in constructing more complex algorithms. Moreover, the platform is designed in such a way that the concerns of design and implementation of analysis algorithms are separated. On one hand, the models of analysis algorithms are abstract and therefore the design of algorithms can be made independent of implementation details. On the other hand, translators are provided to automatically generate implementations from the models for computing analysis results based on computation kernels. Multiple computation kernels, which are based on specific computation tools such as d/dt and the Level Set toolbox, are supported and can be chosen to enable hybrid state space exploration. An example is provided to illustrate the design and implementation process in ReachLab. © Springer-Verlag Berlin Heidelberg 2005.
Persistent Identifierhttp://hdl.handle.net/10722/188708
ISSN
2023 SCImago Journal Rankings: 0.606
References

 

DC FieldValueLanguage
dc.contributor.authorDubey, Aen_US
dc.contributor.authorWu, Xen_US
dc.contributor.authorSu, Hen_US
dc.contributor.authorKoo, TJen_US
dc.date.accessioned2013-09-03T04:13:36Z-
dc.date.available2013-09-03T04:13:36Z-
dc.date.issued2005en_US
dc.identifier.citationLecture Notes In Computer Science (Including Subseries Lecture Notes In Artificial Intelligence And Lecture Notes In Bioinformatics), 2005, v. 3707 LNCS, p. 114-128en_US
dc.identifier.issn0302-9743en_US
dc.identifier.urihttp://hdl.handle.net/10722/188708-
dc.description.abstractIn this paper, we describe a computation platform called ReachLab, which enables automatic analysis of embedded software systems that interact with continuous environment. Algorithms are used to specify how the state space of the system model should be explored in order to perform analysis. In ReachLab, both system models and analysis algorithm models are specified in the same framework using Hybrid System Analysis and Design Language (HADL), which is a meta-model based language. The platform allows the models of algorithms to be constructed hierarchically and promotes their reuse in constructing more complex algorithms. Moreover, the platform is designed in such a way that the concerns of design and implementation of analysis algorithms are separated. On one hand, the models of analysis algorithms are abstract and therefore the design of algorithms can be made independent of implementation details. On the other hand, translators are provided to automatically generate implementations from the models for computing analysis results based on computation kernels. Multiple computation kernels, which are based on specific computation tools such as d/dt and the Level Set toolbox, are supported and can be chosen to enable hybrid state space exploration. An example is provided to illustrate the design and implementation process in ReachLab. © Springer-Verlag Berlin Heidelberg 2005.en_US
dc.languageengen_US
dc.publisherSpringer Verlag. The Journal's web site is located at http://springerlink.com/content/105633/en_US
dc.relation.ispartofLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)en_US
dc.titleComputation platform for automatic analysis of embedded software systems using model based approachen_US
dc.typeArticleen_US
dc.identifier.emailKoo, TJ: john.koo@siat.ac.cnen_US
dc.identifier.authorityKoo, TJ=rp01787en_US
dc.description.naturelink_to_subscribed_fulltexten_US
dc.identifier.doi10.1007/11562948_11en_US
dc.identifier.scopuseid_2-s2.0-33646170277en_US
dc.relation.referenceshttp://www.scopus.com/mlt/select.url?eid=2-s2.0-33646170277&selection=ref&src=s&origin=recordpageen_US
dc.identifier.volume3707 LNCSen_US
dc.identifier.spage114en_US
dc.identifier.epage128en_US
dc.publisher.placeGermanyen_US
dc.identifier.scopusauthoridDubey, A=15060959600en_US
dc.identifier.scopusauthoridWu, X=55715107000en_US
dc.identifier.scopusauthoridSu, H=51564867400en_US
dc.identifier.scopusauthoridKoo, TJ=7005428590en_US
dc.identifier.issnl0302-9743-

Export via OAI-PMH Interface in XML Formats


OR


Export to Other Non-XML Formats