Category Archives: Wind River Blog

Wind River Blog: Simics 4.8 is Here

2013 May 21 19:05 / Leave a Comment /

Simics 4.8 is finally released, and I put up a blog post explaining the most important news in this release. It is two years since we released Simics 4.6, so there is quite a bit of news in Simics 4.8 – even though lots of functionality has been released continuously into 4.6 over the past twenty four months. My personal favorite are the comments you can put on an execution and the stop log,  but then again, that might be because they have been a couple of pet ideas of mine so I am hardly an impartial judge. Everything else is also really good, and the engineering teams and marketing teams involved have put in a lot of effort into this release (as we do in all releases).

 

Posted in: virtual platforms, Wind River Blog / Tagged: ,

Wind River Blog: Visuality NQ CIFS Server on Simics

2013 April 23 11:05 / Leave a Comment /

There is a new post at my Wind River blog, about how I ran a Windows file share server (CIFS) on a Simics-simulated VxWorks big-endian Power Architecture target. Something that just should work, given that the software in question is known to work in the real world. But still, pretty cool, and a bit eerie.

 

Posted in: virtual platforms, Wind River Blog / Tagged: , ,

Wind River Blog: TCF and Simics

2013 March 26 11:00 / Leave a Comment /

On my Wind River blog, you can now find a description on how we have used the Eclipse TCF (target connection framework) to build the Simics GUI. Or rather, the connection between the Simics GUI and the Simics simulation process. It is actually quite revolutionary what you can do with the TCF, compared to older debug protocols. In particular, TCF lets you combine many different services across a single connection.

Read More →

Posted in: virtual platforms, Wind River Blog / Tagged: , , ,

Wind River Blog and Movie: Demo of Simics Debugging

2013 January 9 22:40 / 5 Comments /

Last year, I did a Simics webinar which included a two-part demo of how to use Simics to debug an endianness bug in a networked system as it migrates from big-endian to a little-endian system. Along the way, I also showed off various Simics features like reverse execution and checkpointing and scripted execution.

The demo is now online at the Wind River Youtube channel, and the setup is explained in a blog post at the Wind River company blog which is worth reading before watching the video.

Posted in: programming, virtual platforms, Wind River Blog / Tagged: , , , , , ,

Wind River Blog: Simics and Flying Piggies

2012 November 28 11:59 / Leave a Comment /

I just added a new blog post at the Wind River blog, about determinism and illustrating Simics-style determinism is by looking at the game Bad Piggies. Games and simulators have quite a lot in common, actually.

Read More →

Posted in: computer games, off-topic, virtual machines, Wind River Blog / Tagged: , , , ,

Wind River Blog: Exposing OS Kernel Races with Landslide

2012 September 26 21:18 / Leave a Comment /

There is a new blog post on my Wind River blog, about the Landslide system from CMU. It is a pretty impressive Master’s Thesis project that used the control that Simics has over interrupts to systematically try different OS kernel thread interleavings to find concurrency bugs. The blog is an interview with Ben Blum, the student who did the work. Ben is now a PhD student, and I bet that he will continue to generate cool stuff in the future.

Posted in: parallel computing, programming, Wind River Blog / Tagged: , , , ,

Wind River Blog: Testing Multicore Scaling with a Simics QSP

2012 August 27 21:39 / Leave a Comment /

A few years ago, I built a demo on Simics that used a hacked Freescale MPC8641D target that was forced to scale from 1 to 8 cores. Some interesting experiements could be made using this target, and it was nicely scalable for its time. However, I always wanted to have something just a bit bigger. Say 20 cores, or 100. Just to see what would happen. Finally, I got it.

The Simics QSP target that we quietly launched earlier this Summer is such a scalable target. As discussed in a blog post describing the architecture, it is designed to scale to 128 cores currently. Using this ability, I repeated my old experiments, but trying very large threads counts and target core counts. The results show clearly that the way that I coded my parallel computation program was pretty bad, and I really would like to try to rewrite it using some more modern threading library. All I need is time and a way to cross-compile Wool…

Anyway, the new blog post is here.

Posted in: multicore software, virtual machines, Wind River Blog / Tagged: , ,

Wind River Blog: Inside the Simics QSP – Additional Notes

2012 July 6 20:11 / Leave a Comment /

There is a new post at my Wind River blog, about the design and technical contents of the new Simics Quick Start Platforms, more widely known as the QSP. The blog describes the virtual-only hardware that forms part of the QSP, and how it was designed. It is interesting to note that the hardware ended up a bit more complex that I initially thought it would be, since an ideal virtual platform should be very simple. Right? Turns out an OS complicates things.

Read More →

Posted in: virtual machines, Wind River Blog / Tagged: , , , ,

Wind River Blog: Teaching Networking with Simics

2012 May 28 21:19 / 1 Comment /

On the Wind River corporate blog, I have put up a blog post about how Wind River Education Services is going to use Simics to teach networking. What is interesting with this approach is that it shows how a virtual platform can be used for tasks like teaching that don’t have much to do with hardware modeling or similar “typical” VP uses. In this case, the key value is encapsulation of a set of machines running real operating systems and software stacks, and with lots of networks connecting them.

Posted in: teaching, virtual platforms, Wind River Blog / Tagged: ,

Wind River Blog: Forcing Rare Bugs to Appear using Simics

2012 May 3 10:59 / Leave a Comment /

There is a new post at my Wind River blog, about how a team of researchers at the University of Nebraska at Lincoln is using Simics to force rare bugs to manifest themselves as errors. They used Simics to control a target system to force it into rare situations much more likely to trigger latent bugs, requiring far fewer test runs compared to just randomly rerunning tests again and again and hoping to see a bug.

Posted in: testing, virtual platforms, Wind River Blog / Tagged: ,

Wind River Blog: Code Coverage over a Back Door

2012 April 22 12:40 / 2 Comments /

There is a new post at my Wind River blog, about how the LDRA code coverage tools have been brought to work on Simics using a simulation-only “back door “.

The most interesting part of this is how a simulator can provide an easy way to get information out of target software, without all the software and driver overhead associated with doing the same on a real target. In this case, all that is needed is a single memory-mapped location that can written to be software – which can be put into user-mode-accessible locations if necessary.

Read More →

Posted in: programming, virtual platforms, Wind River Blog

Wind River Blog: 80186 and 8051

2012 March 19 13:13 / 1 Comment /

Wind River recently added a couple of new processor models to Simics: the 30-year-old 80186 and the 32-year-old 8051.

I have a blog post about this up on the Wind River tools blog. Pretty amazing to see us model an eight bit machine in 2012 – just proves how long-lived some hardware systems are.

Posted in: virtual platforms, Wind River Blog / Tagged: , , ,

Wind River Blog: Crystal Forest on Simics

2012 March 12 12:08 / Leave a Comment /

There is a new post at my Wind River blog, about Simics running a model of the new Intel Crystal Forest platform. Crystal Forest is a very complex piece of hardware, but I am pretty happy that we managed to demo it in an understandable way – by essentially using it as a black box and putting a pretty display on top of that (using Eclipse).

 

Posted in: virtual platforms, Wind River Blog / Tagged: , ,

Wind River Blog: Fault Injection with Simics

2012 January 23 22:57 / Leave a Comment /

There is a new post at my Wind River blog, about how you actually do fault injection in Simics. This particular post is pretty detailed, showing the actual architecture of a fault injector in Simics, not just “yes you can do it”. It includes actual diagrams of system components and how you can insert fault injection into an existing system, so it is a bit more technical than most my Wind River blog posts that tend to be more conceptual.

Posted in: testing, Wind River Blog / Tagged: ,

Wind River Blog: Interview with a Networked Simics User

2011 November 16 17:58 / Leave a Comment /

There is a new post at my Wind River blog, an interview with Dan Poirot at RTI who is using Simics to model and test heterogeneous, distributed, networked systems.

Posted in: testing, virtual platforms, Wind River Blog / Tagged: , ,

Wind River Blog: Why Simics will not run Super Mario

2011 October 14 11:27 / Leave a Comment /

On my Wind River blog, I just posted a fairly long post about simulation abstraction levels. It was inspired by a cool article in ArsTechnica about Nintendo emulators, and the costs and benefits of being ever more faithful to the hardware.

Posted in: computer simulation technology, Wind River Blog

Wind River Blog: Stop, Think, and Tie Your Shoes Right

2011 September 21 20:09 / Leave a Comment /

There is a new post at my Wind River blog, which could seem to be about shoes but which is really about process improvement. In particular, the need for companies to let their employees take a step or two back and look at what they are doing and what they could do better.

It is way too common to be so busy running around being inefficient that there is no time to think about how to become more efficient. Change also requires some discipline to actually keep pushing at habits until they change for the better.

All of this can be illustrated by tying shoes.

Posted in: business issues, programming, virtual platforms, Wind River Blog

Wind River Blog: Surfing the Web with Netscape 4

2011 September 14 05:06 / Leave a Comment /

Just for fun, I tried to surf the web of today using a Netscape 4 browser from 2001.

The result: not exactly useful. Netscape 4 was bad back then, and it does not work at all with the current style of web coding.

Posted in: history of computing, virtual machines, Wind River Blog

Wind River Blog: A Virtual Year

2011 August 20 09:25 / Leave a Comment /

There is a new post at my Wind River blog, about hypersimulation in virtual platforms and how it lets virtual time fly much faster than real time. It was the result of simple mistake of leaving Simics running in the background as I did other work on  my machine.

Posted in: computer simulation technology, virtual platforms, Wind River Blog / Tagged: ,

Wind River Blog: How to Get Virtual

2011 August 2 14:10 / Leave a Comment /

There is a new post at my Wind River blog, about how you build virtual platforms with Simics. The post is more about the methodology than the nature of models, cycle accuracy, endianness, and all the other details of virtual platform modeling. I have written about modeling methodology on this blog too, and in particular I would recommend looking at “Two perspectives on modeling“.

Posted in: computer simulation technology, programming, virtual platforms, Wind River Blog / Tagged: , , ,

Wind River Blog: Software at the Toddler Stage

2011 June 30 11:48 / Leave a Comment /

There is a new post at my Wind River blog, about the “Toddler stage” of software in general and Simics 4.6 in particular. To me, software in an early stage of development shares many traits with a toddler:

The software will sometimes behave as expected, but more often than not it will not. It will do something else, or crash, or generally do the wrong thing.  It is very much like a toddler – you can rely on it to some extent, but you never know when it will decide to do something unexpected, funny, or just throw a fit over something that would have seemed inconsequential.

 

Posted in: programming, Wind River Blog

Wind River Blog: Simics 4.6 Initial Impressions

2011 May 31 14:35 / Leave a Comment /

There is a new post at my Wind River blog, about the new Simics 4.6 release. 4.6 has some serious new goodies in it, including an Eclipse source-code debugger and a way to build blinking lights front panels for boards.

Posted in: virtual platforms, Wind River Blog / Tagged: , ,

Wind River Blog: 20, 30, 60 years ago

2011 May 6 14:27 / Leave a Comment /

There is a new post at my Wind River blog, about some computing history. Wind River turns thirty this year, Simics twenty, and simulation for debug (and probably debug in general) turns sixty. Computing has come a long way.

Posted in: computer simulation technology, history of computing, Wind River Blog / Tagged: , ,

Wind River Blog: VxWorks 64-bit using Simics

2011 March 25 21:52 / Leave a Comment /

There is a new post at my Wind River blog, about how Simics was used to kick-start the development of the 64-bit version of VxWorks. It is an interesting example of how to use a virtual platform as a model of something much simpler and gentler than actual hardware systems.

Posted in: embedded software, embedded systeme, virtual platforms, Wind River Blog / Tagged: , ,

Wind River Blog: Testing Integrated Software in Simulation

2011 March 13 22:36 / Leave a Comment /

There is a new post at my Wind River blog, about the testing on an integrated software stack in simulation. I base the discussion on the very interesting report about the Toyota “unintended acceleration” problems and the deep investigation into the control software of the affected vehicles performed by a NASA team (!). The report covers a lot of different tools, but also notes that about the only thing not done was to integrate the complete software stack in simulation.

Posted in: computer simulation technology, embedded software, embedded systeme, Wind River Blog / Tagged: , ,

Wind River Blog: Working Smarter, not Harder

2011 February 24 15:16 / Leave a Comment /

There is a new post at my Wind River blog, about how you can use a virtual platform to complete work faster. Not by making the virtual platform execution of target code faster, but by optimizing the way you work and taking advantage of the features of a virtual platform.

Posted in: embedded systeme, testing, virtual machines, Wind River Blog

Wind River Blog: Being Helpful or Being Correct?

2011 February 11 10:12 / Leave a Comment /

There is a new post at my Wind River blog, about warnings in virtual platforms. It is an art to add good warnings to virtual platform models, and just being correct visavi the hardware behavior is not necessarily that helpful for a software developer. A virtual platform should warn about suspicious operations, even if they are technically “correct”.

I also have to apologize for the slow blogging in January of 2011. There was too much going on at work and quite a few days taking care of sick kids. Hopefully, the pace can improve going forward.

Posted in: embedded software, programming, virtual platforms, Wind River Blog

Wind River Blog: Iterative Hardware-Software Interface Design

2010 December 22 21:00 / Leave a Comment /

There is a new post at my Wind River blog, about iterative hardware-software interface design. It is a discussion with some examples of why hardware designers would do well to use virtual platforms to include software designers in the loop when designing new devices and their programming interfaces.

Posted in: embedded software, embedded systeme, programming, Wind River Blog

Wind River Blog: Sometimes you have to cheat

2010 December 10 12:17 / Leave a Comment /

New post up at my Wind River blog, about cheating in virtual platforms.

Posted in: Wind River Blog / Tagged:

Wind River Blog: “IMA on Simics”

2010 October 26 15:00 / Leave a Comment /

I have a fairly lengthy new blog post at my Wind River blog. This time, I interview Tennessee Carmel-Veilleux, a Canadian MSc student who have done some very smart things with Simics. His research is in IMA, Integrated Modular Avionics, and how to make that work on multicore.

Read More →

Posted in: computer simulation technology, embedded software, embedded systeme, multicore software, programming, Wind River Blog / Tagged: , , , ,