A visual language for modeling and analyzing printer data path architectures

ITSLE 2011 : Industrial Track of Software Language Engineering 2011, 5 July 2011, Braga, Portugal

[1]  Sander Stuijk,et al.  SDF^3: SDF For Free , 2006, Sixth International Conference on Application of Concurrency to System Design (ACSD'06).

[2]  M. H. H. Brassé,et al.  Data path design and image quality aspects of the next generation multifunctional printer , 2008, Electronic Imaging.

[3]  Daniel Gajski,et al.  Design exploration and automatic generation of MPSoC platform TLMs from Kahn Process Network applications , 2010, LCTES '10.

[4]  Lars Michael Kristensen,et al.  Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems , 2007, International Journal on Software Tools for Technology Transfer.

[5]  Marc Geilen,et al.  Software/Hardware Engineering with the Parallel Object-Oriented Specification Language , 2007, 2007 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2007).

[6]  Michael R. Hansen,et al.  Models and formal verification of multiprocessor system-on-chips , 2008, J. Log. Algebraic Methods Program..

[7]  Kim Guldstrand Larsen,et al.  Model-Based Framework for Schedulability Analysis Using Uppaal 4.1 , 2018, Model-Based Design for Embedded Systems.

[8]  Axel Jantsch,et al.  System modeling and transformational design refinement in ForSyDe [formal system design] , 2004, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[9]  Twan Basten,et al.  Model-Driven Design-Space Exploration for Embedded Systems: The Octopus Toolset , 2010, ISoLA.

[10]  Andy D. Pimentel,et al.  The Artemis workbench for system-level performance evaluation of embedded systems , 2008, Int. J. Embed. Syst..

[11]  Sandeep Neema,et al.  Modeling methodology for integrated simulation of embedded systems , 2003, TOMC.

[12]  Ed F. Deprettere,et al.  An Approach for Quantitative Analysis of Application-Specific Dataflow Architectures , 1997, ASAP.

[13]  Wang Yi,et al.  UPPAAL 4.0 , 2006, Third International Conference on the Quantitative Evaluation of Systems - (QEST'06).

[14]  A. Sangiovanni-Vincentelli,et al.  A Next-Generation Design Framework for Platform-Based Design , 2007 .