Slashdot Mirror


NASA Goes SourceForge

refactorator writes "We have a lift-off! The NASA Ames Research Center has open sourced Java PathFinder , a JVM that is an explicit state software model checker, all written in Java. For the first time, the complete master development site of a live NASA software engineering project is hosted on SourceForge. Read the official press release for details. The team around John Penix, Willem Visser, and Peter Mehlitz fought long and hard to get the development hosted outside of NASA, to enable true collaborative software development. Now show the government that it works - join the fray. May Java PathFinder boldly go where no NASA program has gone before." (Both Slashdot and SourceForge are part of VA Software.)

243 comments

  1. w00t, FP (maybe) by dmolavi · · Score: 1

    Good to see the gov't is realizing the benefits of SF and OSS...

    1. Re:w00t, FP (maybe) by Anonymous Coward · · Score: 1, Insightful

      They won't realize anything until all of you slashdotters out there who know how to write code for a JVM (.5%) start helping out.

    2. Re:w00t, FP (maybe) by turbidostato · · Score: 2, Insightful

      "Good to see the gov't is realizing the benefits of SF and OSS..."

      Sorry to deillusion you, but in this case the only benefits will be PR and, maybe HR, nothing too technical, specially not "to enable true collaborative software development" which, in this case, just can't happen.

      This software, even if it is not directly involved with something launched to space (it's a code validator) it is still a political issue (as anything related to the space race) and that means there can't be "real" collaborative software development as in "hey, Ax0R, your last three patches are good enough, so I'll give you a write-allowed account to the repo for you to directly check in your code", and then just checkout and build. No: every code will have to be scrutinized by NASA people and then, if accepted, checked in to the *real* source code repository well protected within NASA facilities so, for practical purpouses, the public repo will be a "read only" one.

      "True collaboration" is all about mutual confidence, and this cannot be grown at a NASA project, no matter SF or not.

    3. Re:w00t, FP (maybe) by MrAnnoyanceToYou · · Score: 1

      You'd think that NASA would figure out that virtually any nerd would give his left leg to work on a spaceship. This could probably lead to things like, "Free Software Testing" and "Free Software Programming" for them if they were paying attention.

      If you could get into Mars Probe source code, and debug it, would you?

    4. Re:w00t, FP (maybe) by sjwaste · · Score: 1

      The real question is, since most of this is tax dollar supported, why isn't more of it openly available to the public? I realize that releasing specs on nuclear warheads might pose a problem, but the code on say, the mars probes or some other innocuous project would probably be nice to see. And after all, we paid for it.

      I'm not suggesting they'd take our changes and use them, I'm just saying a lot more non-sensitive code could be made public. NASA is, after all, suffering from a lack of public interest right now. Might as well get the disaffected nerds interested again. I know I'd love to have a look.

    5. Re:w00t, FP (maybe) by MerlinTheWizard · · Score: 1

      One thing you forgot is that NASA != government. It may be a public institution, but everything it decides is not necessarily a decision of the government.

    6. Re:w00t, FP (maybe) by bit01 · · Score: 1

      No: every code will have to be scrutinized by NASA people and then, if accepted, checked in to the *real* source code repository well protected within NASA facilities so, for practical purpouses, the public repo will be a "read only" one.

      Nonsense, many OSS projects have benevolent dictators vetting every patch. NASA is no different.

      "True collaboration" is all about mutual confidence, and this cannot be grown at a NASA project, no matter SF or not.

      Nonsense, many commercially sponsored OSS projects have built communities. NASA is no different.

      ---

      Commercial software bigots - a dying breed.

  2. Hmmmm by maxzilla · · Score: 3, Interesting

    The bigger question for me is if the open source software is used and fails then where does the accountability lie? consider the stress that would be required for anything NASA does, and consider the results of even slight errors. now imagine the sort of bugs that crop up in other open source projects... this could be bad.

    1. Re:Hmmmm by Anonymous Coward · · Score: 3, Insightful

      The accountability lie to the one who validate
      the code before shoting the thing into space.

      OSS dont mean, ./configure; make; make install; launch probe -d space

    2. Re:Hmmmm by AKAImBatman · · Score: 4, Interesting

      As I understand it, this is just a tool to track down potential errors in the software. It is not mission critical software, but rather a tool to analyze mission critical software. I doubt that NASA is too concerned that someone will mess it up beyond belief. They've probably got a review process in place to ensure that any new features are properly checked before they go into use at NASA.

      What I find interesting, is that this move seems to signal that NASA is looking at using Java in mission critical areas. (Not just data analysis as in the Mars rovers.) Could it be that NASA is finally giving up on Ada and embracing the safety, reliability, and simplicity of Java? If so, it would certainly be a huge culteral shift for them.

      Hmm... maybe I should go polish my resume...

    3. Re:Hmmmm by Anonymous Coward · · Score: 0

      s/culteral/cultural/g

      Sorry. -AKAIB

    4. Re:Hmmmm by Progman3K · · Score: 4, Insightful

      Not flamebait here; but what does it matter?

      Let's say this java thingie miscalculates some data because it incorrectly interprets input as being in metric units, when in fact it's in imperial units.

      "It could never happen!" I can hear all of you saying.

      Well, it could, it can and it did.

      Maybe if there had been x-thousand eyes looking at the code, it might have been caught by someone.

      Bottom line, mistakes happen, but in open-source, you lower the percent of them.

      --
      I don't know the meaning of the word 'don't' - J
    5. Re:Hmmmm by stecoop · · Score: 2, Interesting

      Lets squash this FUD quickly.

      The bigger question for me is if the open source software is used and fails then where does the accountability lie?

      If I contract you to build me a widget and it fails it is your fault. I am not responsible for your third party errors. You should have tested the software to the contracted standards and I should receive a quality statement signoff from your engineering department. That is of course if you are building a system that requires quality. If you are building a system for yourself then you still have no one to blame for failure other than yourself.

    6. Re:Hmmmm by smittyoneeach · · Score: 1

      I submit that you're viewing a organizational behavior problem through a technical eye.

      --
      Get thee glass eyes, and, like a scurvy politician, seem to see things thou dost not.--King Lear
    7. Re:Hmmmm by Anonymous Coward · · Score: 0

      Surely this a good thing not a bad thing. By going open-source, the bugs will be detected and resolved much sooner.

      Errors may be introduced into the code, but if the community tests it thoroughly, they should be cleaned up in no time.

    8. Re:Hmmmm by Anonymous Coward · · Score: 0

      Oh Noes! N ot the detonate flag!

    9. Re:Hmmmm by Enigma_Man · · Score: 1

      But the problem is there's no engineering department per se with open-source. It's just a collection of people, some of which may be engineers, with no contracts.

      -JEsse

      --
      Nothing says "unprofessional job" like wrinkles in your duct tape.
    10. Re:Hmmmm by Progman3K · · Score: 2, Insightful

      Possibly.

      I find the idea of attributing liability inane.
      Finding the cause is all-important, because you want to prevent recurrence of disaster, and that's what the extra eyes are for, but as for liability, I expect it's like someone already posted; the final word goes to the people at NASA that launch the sucker, they have to do final validation tests.

      --
      I don't know the meaning of the word 'don't' - J
    11. Re:Hmmmm by Spy+der+Mann · · Score: 1

      I just hope it doesn't happen like this...

      "Houston, we have a problem... the pathfinder is acting erratically."

      (5 minutes later)

      BUG REPORT: PathFinder acts erratically.

      (2 days later)

      Fixed in CVS.

      (2 years later)

      "The fixed version of the pathfinder will be launched this saturday."

      (Next sunday)

      "Oh sh**! There's a bug!"

      (Next week)

      "Houston, we have a problem."

    12. Re:Hmmmm by Eternally+optimistic · · Score: 2, Insightful

      There seems to be a misconception in the legal and business worlds that when you can assign blame for a failure in a predetermined way, that the risk of failure then becomes zero.

      --
      What keeps me going is my inertia.
    13. Re:Hmmmm by L7_ · · Score: 1

      i think that had more to do with cryptic data formats of OTS software testing at integration time rather than software validation at the segment level.

      if thier data was in xml, i think that those types of things might not have happened:

      <coordinate referenceFrame="SunFixed" type="Cartesian">
      <x units="meters">1111111111.</x>
      <y units="yards">123414231.</x>
      <z units="lightyears">.1234</z>
      </coordinate>

      and all systems, legacy or modern, would be happy

    14. Re:Hmmmm by Rei · · Score: 1

      Most modern spacecraft software can be changed remotely. The Mars Exploration Rovers, for example, have had their software upgraded several times for a variety of purposes - fault tolerance, better pathfinding routines, etc.

      --
      Are there any deer in the theater tonight? Get 'em up against the wall.
    15. Re:Hmmmm by morgajel · · Score: 3, Insightful

      I'd imagine it would be up to the Nasa employees in charge of the project to test their code and review it like normal.

      it's not rocket sci...er um, yeah.

      --
      Looking for Book Reviews? Check out Literary Escapism.
    16. Re:Hmmmm by BroadwayBlue · · Score: 1
      I doubt it matters if it's open or closed source software. There are multiple layers of checks, and accountability lies wherever the after-accident investigation places it. One piece of code is still just one piece of a whole system.

      Though this does remind me, tangentially, of a visiting math prof in college. He refused to give partial credit on any problems b/c of the Challenger disaster. His explanation was that had someone properly coded the launch software it would not have been scheduled to fly that day. Something to do with using a zero instead of a small, non-zero number in "go" flight algorithm. I never was able to figure out of this was true or not.

      But man, no partial credit with like 4-5 questions per test. No curve, no A's. He left the country at the end of the quarter, that rat. :P

    17. Re:Hmmmm by Anonymous Coward · · Score: 0

      Notice that the OSTG is only to happy to run SourceForge but does not support the much-needed but non-existant QAForge

    18. Re:Hmmmm by twiddlingbits · · Score: 3, Interesting

      NASA never really embraced Ada. A LOT of software at NASA is done in C or special languages. A great deal of Space Station is Ada but it's not 100%. Java in Mission Critical systems is something NASA is thinking about but they move slow. When I was at the IV&V center there was some talk about Java and how NASA didn't really have the skills to evaluate/manage/budget Java development and that was an area for improvement to prepare for the future. IF there ever is a MissionToMars I'd expect a great deal of Java code. I've not looked in depth for Java for hard real-time systems is not something that is commonly done. I see a few tools out there that are first generation so someone is thinking about it but I have no feedback on how good it is compared to C code.

    19. Re:Hmmmm by GileadGreene · · Score: 1

      Not to mention the fact that Java Pathfinder isn't flight software, but is simply meant to help verify flight software.

    20. Re:Hmmmm by Qzukk · · Score: 2, Insightful

      Then don't tell anyone where you work "hey, this project is neat, we can use it for free and it will work!" because when it doesn't, YOU will be the one at fault.

      It's simple really. If Company X uses open source software with its disclaimer of liability and something goes wrong, its nobody's fault but X's. If Company X goes with Microsoft software with its disclaimer of liability, its still nobody's fault but X's.

      While it'd be interesting to see if liability disclaimers hold up in court, I'd rather it be with Microsoft as the defendant, personally.

      --
      If I have been able to see further than others, it is because I bought a pair of binoculars.
    21. Re:Hmmmm by Anonymous Coward · · Score: 0

      maybe I should go polish my resume...

      Just don't French it :)

    22. Re:Hmmmm by eno2001 · · Score: 1, Interesting

      Not meaning to troll, but I have yet to see a decent, stable, well performing Java application. I've worked with quite a few both at home and at work, and they tend to be resource hogs no matter what platform you are on. The Cisco management GUIs that are Java based perform pretty poorly regardless of is I am on Windows or Unix. They're also unstable as hell unless you have the EXACT version of the JVM required for it to run properly. More often than not, that means some other Java managment app isn't going to work.

      On the HP side, I use the HP Commandview SDM GUI on HP-UX to manage our drive array. Again, this is a Java app with some of the strangest confilcts with the X window system I've seen outside of one especailly bad Java based GUI. The worst of the lot is SunOne's Java LDAP manager. There is a pane on the left hand side of the app that provides a tree view of the objects in LDAP. If I click on the plus to expand the list of objects, I have to wait a good 5-8 minutes before the screen finally redraws. According to Sun, this is just an issue of running the Java app over the network using X. But that's the only way I can run it because the Sun box doesn't have a video card in it. It's meant to run headless.

      At home, I used Limewire for a while until I saw just how much RAM and CPU the 'java' process was consuming on my RedHat 8 box. After that I moved to Overnet (which I still like to call eDonkey) and being a native app, it ran much better.

      I still don't get why a lot of people are really into Java. But then again, I don't code in it, I just have used a wide assortment of Java apps.

      --
      -"...bad old ideas look confusingly fresh when they are packaged as technology" - Jaron Lanier (Digital Maoism on Edge.o
    23. Re:Hmmmm by AKAImBatman · · Score: 4, Informative

      A few points:

      1. Most of the "management" apps are written by people who are not experts in the Java language, thus tend to fubar it pretty well. This is changing, but slowly.

      2. Sun is aware of the remote X issues. This is something they are being slow about addressing, but I believe 1.5 should show a marked performance improvement.

      3. P2P programs tend to eat a lot of system resources during operation. This doesn't have so much to do with Java as in the way they are designed.

      4. The majority of "good" Java software is outside of the area of Desktop applications. Desktop is still an underdeveloped area for Java.

      5. Java programs will always take more resources on a mainstream machine. This is due to the fact that the JVM replicates a lot of the functionality of the OS. In instances where the JVM *is* the OS (e.g. embedded development) the difference in resources is insignificant.

      Here are a few examples of Java Desktop programs that do their job extremely well:

      Azureus
      Wurm Online
      JGoodies JDiskReport
      DataDino Database Explorer
      A few games I wrote for a 4k contest.

    24. Re:Hmmmm by Anonymous Coward · · Score: 0

      JPL doesn't use ADA hardly at all, and JAVA is already used in 'mission control' programs. Most people here think Python is the wave of the future... which is odd since Perl was invented at JPL.

      But my money is on FORTRAN as the forever king.

    25. Re:Hmmmm by dzym · · Score: 1

      Garbage in, garbage out.

      You can't correct for faulty input if you don't know if or why it is faulty input.

    26. Re:Hmmmm by Anonymous Coward · · Score: 0

      I'm not sure I follow. Sure NASA is putting their code out there, but ultimately they are responsible for the software they use.

    27. Re:Hmmmm by Hee+Hee+Hee · · Score: 1

      Apparently, there are many projects using Ada. Go to AdaHome and click on the "list of projects" link at the bottom of the page. Go Ada!!

      --
      - Bill
    28. Re:Hmmmm by AKAImBatman · · Score: 1

      Mods, please correct the parent's moderation. He is not trolling, just expressing his experience and opinion.

    29. Re:Hmmmm by Enigma_Man · · Score: 1

      Aah I see the problem. I was thinking "fault" in terms of the open-source programmers getting in trouble if NASA used some of their code and the spaceship went *boom*. Of course NASA are the ones that are responsible, I thought the original post was asking about the coders being responsible.

      -Jesse

      --
      Nothing says "unprofessional job" like wrinkles in your duct tape.
    30. Re:Hmmmm by legirons · · Score: 1

      "The bigger question for me is if the open source software is used and fails then where does the accountability lie?"

      (a) If software fails?!?
      (b) Software accountability?!?

      Not sure which world you're living on, but it's not the same one as us, where people buy/use unreliable software all the time, with no accountability on the part of the publisher.

      It's normal. No matter who you get the software from, it's crap and it fails. And just like everything else, nobody will take responsibility for it (regardless of how much you paid)

    31. Re:Hmmmm by electricdream · · Score: 1

      Finally embracing Java over Ada.... man you are out of touch with NASA Software Dev. I can't find anything around this place that is written in Ada... maybe a little Lisp floating around on old systems. Almost everything is JAVA or C with bits of Perl, and C# thrown in for good mesure. Ada... Might want to look to the IRS for that.

      --
      -- force and mind are opposites; morality ends where a gun begins ayn rand
    32. Re:Hmmmm by MerlinTheWizard · · Score: 1

      In any case, from what I've heard, critical software is not developed by the NASA itself, but an external private company located in Houston. I think that nowadays, most software purely developed at the NASA is research-oriented software, not production software.

    33. Re:Hmmmm by Anonymous Coward · · Score: 0

      microsoft would settle
      and then say that open source is unreliable

      remember, we're their worst enemy, who they hate more than hell, all customers and peace

    34. Re:Hmmmm by m50d · · Score: 1

      Azureus really shows how incredibly slow Java is. The official client and I think bittornado are written in Python, hardly the fastest language, but they manage to run far far faster. Azureus needs a fricking splash screen while it starts up, and when you click a menu it takes 1-2 seconds to actually appear (this is on my 800mhz duron). I like azureus, it has lots of good features, but the performance is simply too poor for me to use it. And I'm using the latest sun java (1.5).

      --
      I am trolling
    35. Re:Hmmmm by AKAImBatman · · Score: 1

      I run on a PIII 733 and I don't see the performance issues you're describing. Yes, it takes a bit to load, but that's because it has a full plugin architecture to support things like auto-pulling from RSS feeds. Also, it does take a lot of memory. But this is due to the way it operates and not anything inherent in Java. Personlly, I have been extremely happy with Azureus. It has been, and will contiue to be, the best Bittorrent client on the map.

    36. Re:Hmmmm by m50d · · Score: 1

      If it's because of how azureus works, how come every java application is like that? The only text editor that even approaches the delay of jedit on startup is eric3, and that takes less than half the time. (a text editor needs a splash screen because of its load time!). Yaggui is less featureful than other giFT frontends like apollon or giftui, yet takes longer to load and has horrible latency when clicking applications. I have yet to see a gui java program that performs acceptably on my system.

      --
      I am trolling
  3. How... by Erik+Soderstrom · · Score: 1, Insightful

    How big is the widespread use of OSS in goverment anyways? I thought Microsofts latest pricedrops in Europe (when dealing with the german government for instance) would have some effect on the US as well... Did they realize OSS is "good", or is it just that they didn't see any real use for this being closed source?

    1. Re:How... by Anonymous Coward · · Score: 0

      It depends on who is running the show: if your manager respects your ability to make technical decisions and you are just doing 'proof of concept' or research work, then lots of government contracts are using some sort of open source tools to get thier jobs done quicker and at less cost to the govies. If your manager just doesn't want to mess with the status-quo, then the same proprietary vendor-locked partial-solutions are being deployed.

    2. Re:How... by Anonymous Coward · · Score: 0

      I work for NOAA, and in our organization just about everything we use on the server side is open source. We do use commercial databases because the spatial extensions in the OSS aren't quite up to the task yet and we don't have the resources to contribute to development, but we do contribute to a number of Apache projects and all of the software that we write is open source (public domain, actually.)

  4. What The Hell Is That? by Anonymous Coward · · Score: 0

    Not even Google knows what an explicit state software model checker is!

    1. Re:What The Hell Is That? by eviltypeguy · · Score: 2, Informative

      Leave off the quotes in your query and the first hit that comes back is a pretty good definition I'd say.

      Or just look for "explicit state software model checking".

    2. Re:What The Hell Is That? by Anonymous Coward · · Score: 0

      its seems like a debugger for testers ;-)

  5. This has serious potential by FortKnox · · Score: 5, Interesting

    This app spiders through all routes of an app through the bytecode. Not only will this become a very stable and usable debugging application, but the applications that borrow from this application are endless with possibilities. For NASA to OS an app, this was probably the best choice!

    --
    Good quote, too many chars. Seriously, the slashdot 120 char limit sucks!
    1. Re:This has serious potential by metlin · · Score: 1

      And if it is proven that this methodology works well, I hope other similar entities take the same path!

      Imagine the amount of money that would have to be spent on development and debugging. If making it Open Source offsets any percentage of that amount, it would be awesome.

      And besides, this is great publicity!

    2. Re:This has serious potential by shmlco · · Score: 1
      Imagine the amount of money that would have to be spent on development and debugging. If making it Open Source offsets any percentage of that amount, it would be awesome.

      I love how that statement assumes there's a vast number of skilled software developers ready, willing, and able to work for free...

      --
      Any sect, cult, or religion will legislate its creed into law if it acquires the political power to do so.
    3. Re:This has serious potential by metlin · · Score: 1

      Not really.

      Which is why I used the if in the statement - if there is any kind of contribution that can decrease the total amount, it would be neat.

  6. Great But... by indifferent+children · · Score: 4, Funny

    IANARS Damn.

    --
    Censorship is telling a man he can't have a steak just because a baby can't chew it. --Mark Twain
  7. Yay! by Anonymous Coward · · Score: 0

    Kudos to all involved.

  8. Too many chief's in the kitchen? by Anonymous Coward · · Score: 0

    omg it's nasa on sourceforge let me join up and make a name for myself as a chef software archatek. I mean chief architet.

  9. Bwahahahahah! by Anonymous Coward · · Score: 3, Funny
    John Penix

    Poor guy. That name must be an endless source of amusements to his Linux-using colleagues.

    1. Re:Bwahahahahah! by Anonymous Coward · · Score: 0

      "... Penix ... long and hard"

      The submitter must be laughing at that hidden statement...

    2. Re:Bwahahahahah! by McDutchie · · Score: 1

      Well -- at least the guy's obviously got balls.

  10. Am I the only one? by PrimeWaveZ · · Score: 3, Funny

    Who thought of the PENIX man pages when I saw that guy's last name?

    1. Re:Am I the only one? by JensLH · · Score: 1

      To answer that we need to know exactly when you saw that guy's last name. :-)

  11. Great Boost for Java by querencia · · Score: 2, Insightful

    The availability of this tool does wonders for Java. I'd like to know the reasons behind NASA's decision to use Java for this kind of development in the first place, but having this tool available as a testing resource could be enough reason alone to choose Java for a wide variety of new projects.

    Kudos, NASA!!

    1. Re:Great Boost for Java by essreenim · · Score: 0

      There are reasons not to, like rival space programs. But of course rgis project is not really directly useful for space exploration whatsoever. It makes sense for it to be made open.

    2. Re:Great Boost for Java by Anonymous Coward · · Score: 0

      The reason was that due to budget cuts NASA had to lay off all software developers with more than 15 years experience and hire high school students instead. Java was the only language they both knew.

    3. Re:Great Boost for Java by Jerf · · Score: 3, Insightful

      Generally, I'm pretty anti-Java. I hate working in it myself and I've partially structured my career so as to avoid it.

      Why do I hate it? It is a language that builds in bureaucracy, making you say everything three or four times, static this, static that, hard-coded the other, if there's a fun or useful feature it's not there ("generics" are about 5 years too late and from my reading still amazingly weak compared to most other languages, and that's just one of the fun features I have in mind) after programming in a language like Python or Ruby it's like programming with handcuffs and concrete galoshes, complete with the sinking feelings the latter can cause and subsequent project death.

      (We didn't used to need IDEs that did half to three-quarters of your typing for you (and I mean keyboard typing), and most languages still manage to live without it. That says something. (I'm also somewhat amazed at the Java community's ability both to have strong namespaces like org.slashdot.something.web, and still name classes with 40 or 50 characters, like WebPageToMirrorDeciderBooleanHelperInterface.))

      But there are times that is called for, and NASA development epitomizes that. My personal feeling is that it is called for far, far, far less often than conventional wisdom says it is, but the call is certainly not zero.

      All those features I'm bitching about missing above, including but not limited to things like closures, any sort of continuation support, metaclasses, "duck" typing like Python or Ruby, support for "eval"ing strings as if they were source code (which I've used precisely once in the last five years; I'm not saying this is something that should be used a lot), all kinds of things like that, are bad for an state checker, as it really complicates the space and makes it hard to tell what will happen when without actually running the code, which for various reasons is also not a practical solution to state checking.

      There may be slightly better languages (ada?), but all in all Java is a good choice for NASA, for the very reasons that I hate it.

    4. Re:Great Boost for Java by Trinition · · Score: 1

      It is a language...

      Oh, I see... it's just the language you hate, but you love the VM, the bytecodes, and the APIs?

      We didn't used to need IDEs that did half to three-quarters of your typing for you...

      And you still don't need those things for Java. I have a very stubborn friend who insts on developing in a text editor named TextPad and compiling using Ant on the command line. I started with notepad and the javac commandline, but quickly adfopted an IDE when I saw it would same me time and effort. I didn't do it out of necessity, I did it so I could focus on what I'm implementing rather than the plumbing necessary in any programming language.

      But there are times that is called for

      Very well said. I agree with you ultimate point here, but disagree with many (but not all) of your criticisms of Java

  12. Wow by Traldan · · Score: 0

    Wow, that's cool.

  13. Why isn't more government stuff open source? by NivenHuH · · Score: 4, Insightful

    Doesn't our government exist to serve the general public? Why aren't more government software development projects open source? Why was it such a battle to make this particular application open source?

    Don't get me wrong, this is a great feat by NASA-Ames, but it's something I already expect as a taxpayer...

    --
    Just when you make it idiotproof, some idiot builds a better idiot.
    1. Re:Why isn't more government stuff open source? by Anonymous Coward · · Score: 0
      As a scientist I can tell you that one of the major requirements of public projects these days is to produce ideas and inventions that can be patented and commercialized.

      Open sourcing your software makes that rather difficult, doesn't it?

    2. Re:Why isn't more government stuff open source? by NivenHuH · · Score: 1

      If it's developed by the government, and is funded by the government (and our tax money), what exactly is being commercialized?

      --
      Just when you make it idiotproof, some idiot builds a better idiot.
    3. Re:Why isn't more government stuff open source? by Anonymous Coward · · Score: 0
      Well, basically an idea is patented and then licensed to a company who's interested in it. Sometimes we retain the rights, sometimes we sell off the whole shebang.

      The fact that it's funded by the government doesn't really make any difference.

    4. Re:Why isn't more government stuff open source? by sremick · · Score: 1

      Just because we pay for it, doesn't mean we're entitled to open access to it. There are countless guys in-between who decide how our money is spent, and what we can and can't directly reap the benefits of.

      Sort of like how when I went to Area 51, they wouldn't let me in. Bastards.

    5. Re:Why isn't more government stuff open source? by $1uck · · Score: 2, Interesting

      I worked under a programmer as part of a government contract and he said "everything we code is public domain, b/c we work for the govt." There are/were a few different classes of private contractors ones that worked on site and those that didn't. We worked on site and were often introduced as "government" to off-site contractors. But still I would think that the govt. could retain rights(ownership) to the code (and this would seem to support that). It'd be nice if the government open sourced all code it developed that wasn't necessarily "secret."

    6. Re:Why isn't more government stuff open source? by ShaniaTwain · · Score: 3, Funny

      Doesn't our government exist to serve the general public?

      Thats what I say too, but don't even bother trying to get your senator to help paint your house.. It turns out they only serve the general public in a very narrow sense, and they wont help even if you pay for the beer.

      pretty dissapointing really.

    7. Re:Why isn't more government stuff open source? by Xzzy · · Score: 1

      > Why aren't more government software development projects open source? Why was it such a battle to
      > make this particular application open source?

      A lot of it is.. it's just hard to find. Fermilab, for example, has many many projects that are freely downloadable and include source. I'd imagine that many other research labs have similar capabilities, just none of it really scratches an itch anyone has, so it never gets airtime.

      The most successful government-funded project I know of is 'nedit'.

    8. Re:Why isn't more government stuff open source? by DrZZ · · Score: 5, Informative

      Read up on the Bayh-Dole Act. In the US at least, inventions created using government funds (either grants or contracts) by default are owned and administered by the grantee or contractor, not the government. I laugh when people talk about the drug companies "stealing" government funded university research because the universities are the most agressive people out there patenting research and trying to hit drug companies up for big bucks to license the patents. Work done by actual government employees can certainly be patented, but obviously in that case the patent is owned by the government. Work done by government employees can NOT be copyrighted, which can lead to problems when trying to get government involved in GPL'd projects. NASA has a lot of contractors that that are still looked on as "NASA", so I don't know whether these guys are government or contractors.

    9. Re:Why isn't more government stuff open source? by DrZZ · · Score: 1

      It depends on which government you are talking about, but work done by US federal government employees can NOT be copyrighted. It is all public domain. Work done by contractors, by default is owned by the contractors, although the government can encourage making it open source. I'm not sure how for the government can go. I don't know whether copyright is covered under the Bayh-Dole Act. Patents are definitely covered by Bayh-Dole which means that any patent that comes out of the grant or contract is owned by the grantee or contractor and the government retains only very limited rights. The government can ask for an exception to the Bayh-Dole when putting together a grant or contract solicitation, but it is a big pain and most of such requests are turned down.

    10. Re:Why isn't more government stuff open source? by ehiris · · Score: 1

      "Doesn't our government exist to serve the general public?"

      The general public is the government. Some will help everything move forward for the sake of everything going forward, and some will move things forward only if it makes them better then everyone else.

    11. Re:Why isn't more government stuff open source? by $1uck · · Score: 1

      I was/am talking about the federal government (military to be more precise). I guess my question if what you said is true, how can nasa release anything under a GPL (the license on the linked site appears to be fairly identical to the GPL). I would think if what you said is true if they're going to release anything it would have to be under something more BSD (although if its Public domain can they even do that?). /IANAL nor an expert on licenses

    12. Re:Why isn't more government stuff open source? by Anonymous Coward · · Score: 0

      Hey, moron, listen up!

      The government isn't around to produce software, get it, idiot?

      Software is a means to an end, get it, loser?

      Real humans don't give a shit!

    13. Re:Why isn't more government stuff open source? by fm6 · · Score: 1
      There are two purposes to be served by making a project open source. First and foremost, you allow outsider to participate in its development, which speeds development and gives the original authors a source of free peer review. Second, and rather less important, it allows outsiders to download and use the software.

      I think that neither purpose would be served by OSing most government softwares. Consider that most of them are probably uninteresting programs that provide IS support for that huge bureaucracy. The typical application is probably a hacked-up database client that's only good for accessing a specialized database of soybean crop subsidy applicants, or something equally obscure.

      Even if a project is marginally valuable as OS, it's probably not worth the expense of opening it up. There's more to making a project OS than "throwing it over the wall." You usually need to move your source code base from some internal CVS to a OS-friendly CVS such as Sourceforge. Most of all, you need to separate out elements that you've licensed from other people, and don't have the legal right to re-license.

      Finally, there's the security issue -- opening up software can reveal security bugs. Yeah, I know, security by obscurity is not a good idea. But I'm not willing to have my tax records ripped off just to satisfy that principle.

    14. Re:Why isn't more government stuff open source? by Anonymous Coward · · Score: 0

      Because corporations are tax payers too, and the government has NO RIGHT to compete with hard working companies by releasing work that WE paid for. In communist russia this kind of thing may have been common, but here things work differently, and our economy is based on the ability of corproations to make money, not of greedy little "free software" socialists to steal intellectual property.

    15. Re:Why isn't more government stuff open source? by fm6 · · Score: 1
      ...but don't even bother trying to get your senator to help paint your house..
      You're obviously unfamiliar with the concept of Pork barrel politics.
    16. Re:Why isn't more government stuff open source? by DrZZ · · Score: 1

      I was wondering myself how they could claim copyright. It is completely clear that works of the US Government can not be copyrighted, so the only thing I can think of is that the people who wrote this were contractors and they assigned the copyright to the government.

    17. Re:Why isn't more government stuff open source? by bit01 · · Score: 1

      Just because we pay for it, doesn't mean we're entitled to open access to it.

      Just because we pay for it, doesn't mean we're not entitled to open access to it.

      The automatic assumption that public servants have the right to restrict information from the public is wrong. Some countries have freedom-of-information laws where, by default, information is open, not closed, and public servants must give specific reasons, such as military security or privacy, why the public is not entitled to access.

      ---

      Copyright is a privilege, not a right.

    18. Re:Why isn't more government stuff open source? by sremick · · Score: 1

      I actually agree with you. My tone (which I guess didn't communicate well) was that of stating the status quo of how things tend to be these days, not so much stating my opinion of how things should be.

      The Area 51 comment (while also entirely true) was meant to be a hint to my true feelings on the matter... heh.

    19. Re:Why isn't more government stuff open source? by bit01 · · Score: 1

      There are two purposes to be served by making a project open source. First and foremost, you allow outsider to participate in its development, which speeds development and gives the original authors a source of free peer review. Second, and rather less important, it allows outsiders to download and use the software.

      And thirdly, it gives transparency to government. And fourthly it allows people to mix and match tax payer funded software and for government departments to help each other. And fifthly it allows unplanned synergies to occur (e.g. helping third world governments). And sixthly ...

      Me, I just say that in a free country the fruits of government by default should be free (libré) to the taxpayer who funded it. Making a project open source costs bug-all. It only starts costing if you want to market it or provide high levels of support.

      Finally, there's the security issue -- opening up software can reveal security bugs.

      Depends on the software. For the vast majority of software security is not relevant. For the software that security does matter it can be dealt with on a case-by-case basis.

      ---

      Commercial software bigots - a dying breed.

    20. Re:Why isn't more government stuff open source? by fm6 · · Score: 1

      If transparency is such an overwealming priority, then I guess we should just put a webcam near the desk of each of every government employee. Of course, that would be horrendously expensive and would disrupt the day-to-day operations of government. But if we don't care about cost versus benefit ratio of OSing government software, or the disruptive effect of same, why should we care about these things in any other context?

    21. Re:Why isn't more government stuff open source? by bit01 · · Score: 1

      ... Of course, that would be horrendously expensive ...

      versus

      ... Making a project open source costs bug-all. ...

      Hmmm.

      ---

      You communist! Breathing shared air!

    22. Re:Why isn't more government stuff open source? by fm6 · · Score: 1
      I don't know where you got the "bug all" quote, but it certainly wasn't from me. I've worked at one or two companies that decided to go through their software archives and OS whatever seemed worth the trouble. In the cases where they decided to go ahead, it was not cheap.

      You're about to ask "why"? But if you have to, you didn't read my previous post.

  14. This can change things... by Sinryc · · Score: 2, Interesting

    This can change things a lot. If the goverment sees open source work, imagine how many more projects(non security of course. Hell will freeze before those will be OS) will be opened up? Also, what about these OS authers? Do you think job offers might ever come to people? Is there a possibility that these Open Source Projects can change the way the Goverment operates?
    What happenes if this project fails? Then what? OS will seem to be a failure then, and that would not be a good thing, at all.

    All I can say is, this is one hell of a chance for OS.

    --
    Yay, I have a sig.
    1. Re:This can change things... by Anonymous Coward · · Score: 0

      Yeah,m but we already have commercial weather companies trying to shut down NOAA's public presence. AND THEY ARE CAPITULATING!

      Just wait till any commercial interest decides that they don't want NASA competing with them and then watch all this stuff just vaporise. (And once you have signed up with the US government to look at the code (Yes, real the license)) they will know just where to go to retrieve the copies they handed out :)

  15. NASA has been on sourceforge before by Filiks · · Score: 5, Informative

    NASA WorldWind has been on SourceForge since September. Though most development happens over IRC.

  16. First SF for NASA, maybe; first OS, no by Dink+Paisy · · Score: 4, Insightful

    World Wind ( http://worldwind.arc.nasa.gov/index.html )is also open source. I think there are other NASA open source projects as well. This definitely isn't NASA's first venture into open source, although it may be their first project release on SourceForge.

    --

    Whoever corrects a mocker invites insult;
    whoever rebukes a wicked man incurs abuse.
    --Proverbs 9:7
    1. Re:First SF for NASA, maybe; first OS, no by Anonymous Coward · · Score: 0

      World Wind is a great program for tracking and planning backcountry trips for offroading and hiking. I only wish there was a way of showing GPS routes and waypoints superimposed on the 3-D maps.

  17. Government Software Unleashed on Public! by Anonymous Coward · · Score: 0

    I don't know if any of you have ever dealt with government (especially NASA) or contractor-written software, but god help us all!

    The saying "good enough for government work" comes to mind.

  18. Why are they taking so long? by Anonymous Coward · · Score: 0

    Hmm... too little too late

    There was a time when NASTRAN was the most technologically advanced Finite Element Analysis package out there, something like SPICE for EE's. NASA has finally made available the sourcecode for non-americans, for a price that most people cant pay. I suspect if it's ever released as opensource, they will release it when its considered obsolete.

  19. If thats your "bigger question" by Anonymous Coward · · Score: 0

    You, sir, are an idiot.

    If the code is open source, that means ANYBODY can work on it, improve it, or find and squash bugs. If one person makes a mistake somebody else will correct it, If somebody tries to do something harmful to the code. *several* other people will instantly remove the malware. As for accountability? Why do we always have to have some poor soul to point the finger at? why do we have to make any one person in particular accountable? whats wrong with saying "Open source technology represents the very best, that we as a society are able to achieve working together as a team for a common cause." If the project fails then we have ALL failed, and, friend, the accountability will be found in the fact that we WILL improve upon the code, we WILL learn from our mistakes, and we WILL prove that Open Source (free) software IS the best way to spend tax payers money when it comes to computer programming :: period

    "many eyeballs" my friend, watch and learn.

    1. Re:If thats your "bigger question" by Anonymous Coward · · Score: 0

      I am disturbed by your desire to be a part of a collective. I'm bothered even more by your fanatical belief in the supremacy and righteousness of the collective even if it meant stomping on someone else's rights.

    2. Re:If thats your "bigger question" by Decaff · · Score: 2, Insightful

      If the code is open source, that means ANYBODY can work on it, improve it, or find and squash bugs. If one person makes a mistake somebody else will correct it, If somebody tries to do something harmful to the code. *several* other people will instantly remove the malware.

      Just because anybody CAN work on code and deal with bugs, doesn't mean anybody WILL. There is no evidence that bugs in any given OS projects are 'instantly' removed.

      As for accountability? Why do we always have to have some poor soul to point the finger at? why do we have to make any one person in particular accountable?

      Because if you are going to use a product for any serious use it is customary to look for guarantees that the product is fit for use. Some open source projects have sufficient reputation that they they are trusted in most areas without any such legal or commercial guarantees (such as the Linux kernel). OS in itself is no guarantee of quality.

      Would you leap into and drive a free car built by someone you don't know just because they are willing to show you the blueprints and parts list?

      If the project fails then we have ALL failed, and, friend, the accountability will be found in the fact that we WILL improve upon the code, we WILL learn from our mistakes, and we WILL prove that Open Source (free) software IS the best way to spend tax payers money when it comes to computer programming :: period

      The key to the best way to produce software is to have skilled and motivated developers. The Open Source-ness is not always relevant.

  20. commercial use of government software by SuperBanana · · Score: 2, Insightful
    Why aren't more government software development projects open source?

    I seem to recall that the reason they didn't release government-developed projects as open-source was because of prohibitions on commercial use of government software.

    Basicallly, they didn't want a government agency to be making software (using your tax bucks) for the profit of someone else.

    Before you say "corporations pay taxes too", let me remind you that corporate tax share has gone from about 50% in the 1950's, to about 2% today. Yep- the individual foots 98% of the government budget, but corporations get all the laws.

    1. Re:commercial use of government software by Swanktastic · · Score: 0, Offtopic

      Before you say "corporations pay taxes too", let me remind you that corporate tax share has gone from about 50% in the 1950's, to about 2% today. Yep- the individual foots 98% of the government budget, but corporations get all the laws.

      Those damn corporations! Stealing all our money and hiding it away in their secret corporation vaults deep under the surface of the earth!

      I'm not sure what you think a corporation is other than a piece of paper and a bunch of people working together. Someone owns that corporation's debt and equity, either directly through stock or indirectly through some sort of account (savings, IRA, 401(k), whatever), and that person is paying taxes on the income they receive from that ownership.

    2. Re:commercial use of government software by PaxTech · · Score: 0, Flamebait
      Before you say "corporations pay taxes too", let me remind you that corporate tax share has gone from about 50% in the 1950's, to about 2% today.

      But the people who end up with the money the corporation makes, shareholders and employees, all pay taxes on the money they receive. The corp itself may only pay a small amount but the money gets taxed eventually when someone receives it as personal income.

      Besides, the rich pay a higher share of taxes now than they did in 1979. It's misleading to say corporations don't pay tax, corporations are made up of individuals, and individuals pay tax. Does it really make a difference to anyone who isn't a tax lawyer that the money goes through a step in between?

      --
      All movements for social change begin as missions, evolve into businesses, and end up as rackets.
    3. Re:commercial use of government software by That's+Unpossible! · · Score: 1

      Not only that, but corporations do not pay taxes. Never have and never will. Any money paid out towards taxes is covered by you and me, since that corporation must make the money up from somewhere:

      - Higher cost of goods and services it produces.
      - Lower pay for existing employees.
      - Fewer jobs available.
      - Less money paid out to stock dividends.

      Corporate taxes are simply indirect taxes on people. Makes it easy to hide the fact that your tax burden is even higher than you thought.

      --
      Ironically, the word ironically is often used incorrectly.
    4. Re:commercial use of government software by oogoody · · Score: 1

      > But the people who end up with the money
      > the corporation makes, shareholders and
      > employees, all pay taxes on the money they receive. >The corp itself may only pay a small amount but
      >the money gets taxed eventually when
      > someone receives it as personal income.

      Corporations are special legal entities that get special rights. They should pay for these. I don't really care where their money goes. It doesn't have to go anywhere. If corps would be willing to give up thier legal protections and rights then i won't want to tax them. Do you think they will take this offer?

    5. Re:commercial use of government software by Anonymous Coward · · Score: 0

      The owners do not necessarily live in the country where the corporation is located.

    6. Re:commercial use of government software by fijimf · · Score: 1

      The way I see it, corporations actually pay all of the taxes, since any taxes we pay are covered by the corporations in the higher gross wages we demand for work and the higher gross returns we demand on corporate assets.

      Personal income taxes are simply an indirect tax on corporations.

    7. Re:commercial use of government software by Anonymous Coward · · Score: 0

      If corporations don't pay taxes, then they do NOT deserve the protections that they get as "corporeal" entities. Pick one or the other, you cannot have both.

    8. Re:commercial use of government software by PaxTech · · Score: 1
      Corporations are just groups of people. They have some special rights, and they also have some special restrictions.

      It's fun to talk about how corporations are evil and greedy and responsible for everything wrong in the world, but.. I don't know if you've ever started a company yourself, you'd probably feel a little differently if you did. What specific rights do corporations have and individuals don't that you have such a problem with?

      --
      All movements for social change begin as missions, evolve into businesses, and end up as rackets.
    9. Re:commercial use of government software by oogoody · · Score: 1

      > It's fun to talk about how corporations are
      > evil and greedy and responsible for
      > everything wrong in the world,

      That's not what we are talking about. We were talking about paying for what your are given by the government as a seperate legal entity. The rest is your generic rant.

    10. Re:commercial use of government software by killjoe · · Score: 1, Offtopic

      "Besides, the rich pay a higher share of taxes now [typepad.com] than they did in 1979."

      The rich also own more wealth then they did in 1979. Since the op 5% of the rich control 95% of the wealth they should pay 95% of the taxes too.

      The rich are getting a great deal. The income disparity grows, the rich get richer but their tax burden does not increase as fast as their wealth.

      --
      evil is as evil does
    11. Re:commercial use of government software by PaxTech · · Score: 1
      We were talking about paying for what your are given by the government as a seperate legal entity.

      That's just it, the government gives us NOTHING. We have rights, that are inherent to us as human beings that government cannot take away. We don't have those rights granted by our government, our government has rights granted to it by "We, the people".

      --
      All movements for social change begin as missions, evolve into businesses, and end up as rackets.
    12. Re:commercial use of government software by PaxTech · · Score: 1
      The rich I'm talking about are the .1% with the highest income per year, you're talking about the rich as in people who own property. Apples and oranges.

      Here's a quiz : You have $1, I have $10. The next year, you have $10 and I have $100. Are you worse off than you were a year ago? Why not? Income disparity between us has grown tenfold. But it means NOTHING, you're still ten times better off than you were.

      How about this question : Would you rather be a king 100 years ago or a lower middle class American today? I know what my choice would be. The tide has risen, a king 100 years ago lived in squalor compared to the average modern American.

      --
      All movements for social change begin as missions, evolve into businesses, and end up as rackets.
    13. Re:commercial use of government software by oogoody · · Score: 1

      > That's just it, the government gives us
      > NOTHING. We have rights, that are inherent to
      > us as human beings that government cannot
      > take away.

      Corporations are not in the constitution. They are not people. They have no rights other than what the government gives because they are a completely made up entities. You realize that, don't you?

      We have fallen into the strange attactor of your libertarian rant and the predictible steam of verbiage comes out regardless of the appropriateness.

    14. Re:commercial use of government software by PaxTech · · Score: 1
      Corporations are not in the constitution. They are not people. They have no rights other than what the government gives because they are a completely made up entities. You realize that, don't you?

      Corporations have all the rights that the people the corporation is composed of have. You realize THAT, don't you?

      Could you just explain to me how you could restrict the rights of a corporation without restricting the rights of the people who own and work for that corporation? I really want to know. Seriously.

      Or just write me off as a libertarian crank.

      There, there, the bad man and his logic are gone, to trouble you no more. Sleep soundly, and dream of wealth redistribution like a good socialist. :)

      --
      All movements for social change begin as missions, evolve into businesses, and end up as rackets.
    15. Re:commercial use of government software by killjoe · · Score: 1

      "Here's a quiz : You have $1, I have $10. The next year, you have $10 and I have $100. Are you worse off than you were a year ago? Why not? Income disparity between us has grown tenfold. But it means NOTHING, you're still ten times better off than you were."

      Only if you live in a universe where there is an infinitate amount of money. I live in a universe where there is not an infiniate amount of anything, not even atoms or subatomic particles.

      In the real universe your extra money came from other people, you didn't print it right? Somebody gave it to you. That money either came from somebody else or by converting natural resources into some finished product.

      Of course I should know better then to fight with your straw man. The real point is that if you own 95% of the wealth you should pay 95% of the taxes. Income redistribution is another topic which I would be happy to talk with you about.

      "How about this question : Would you rather be a king 100 years ago or a lower middle class American today? I know what my choice would be. The tide has risen, a king 100 years ago lived in squalor compared to the average modern American."

      Completely off topic.

      --
      evil is as evil does
    16. Re:commercial use of government software by (nil) · · Score: 1
      How about this question : Would you rather be a king 100 years ago or a lower middle class American today?

      Three words: Jus Primae Noctis. Actually, in 1905 there weren't a whole lot of kings running around. And in 1905, the existing kings were not in squalor.

    17. Re:commercial use of government software by PaxTech · · Score: 1
      You're right, if you assume that wealth cannot be created, only redistributed.

      But if I create something (a program, a piece of art, whatever) and someone buys it for $100, did I take anything away from someone else? The buyer now has a picture that's worth $100. How did I turn paint and canvas worth $2 into a painting worth $100 without taking $98 away from someone?

      Economics is not a zero-sum game. A person getting rich doesn't mean that someone else becomes equally poor. In fact that person getting rich probably had to hire people, making them less rich but still better off than they were.

      --
      All movements for social change begin as missions, evolve into businesses, and end up as rackets.
    18. Re:commercial use of government software by PaxTech · · Score: 1

      I'df say in 1905 that kings lived in squalor, compared to a middle class American today. I sure wouldn't switch places with one.

      --
      All movements for social change begin as missions, evolve into businesses, and end up as rackets.
    19. Re:commercial use of government software by killjoe · · Score: 1

      "But if I create something (a program, a piece of art, whatever) and someone buys it for $100, did I take anything away from someone else?"

      YEs, you used up natural resources which took something away from everybody. Even if you created something of exceedingly low impact like a program. You used a computer, electricity, food, and water. You needed a house or an office, a car to get around, clothes to wear, heating and cooling etc.

      "Economics is not a zero-sum game. "

      Only if you look at it in the narrowest possible framework. In order for economics NOT to be a zero sum game would be for there to be an infinate amount of money out there in some alternate universe which you can tap into. In the real universe there is not an infinate amount of anything. Money has to come from someplace. Most often it comes from other people. Money gets "created" when you turn natural resources into goods and services to be sold.

      So indeed economy IS a zero sum game when you take the entire planet (or the universe) into account. There is more money on the planet today then there was 200 years ago but there are also less natural resources. All those trees, land, fish, animals, plants, water, minerals etc all got turned into money.

      Like I said the only way it could not be a zero sum game is if there is an infinitate amount of money, alas there is not an infinate amount of anything in the universe, not even atoms.

      --
      evil is as evil does
    20. Re:commercial use of government software by Anonymous Coward · · Score: 0

      In that case I move they allow licensing of software under the GPL, and in that specific case remove the non-commercial prohibition.

      In the case of the GPL, everyone would benefit from any improved work on the code, including the public, and that seems to me like a reasonable exchange.

  21. Re:shouldn't this be kept in secret ? by Anonymous Coward · · Score: 0

    Haha. Good troll. Just in case anyone missed
    it: the software is a model checker. It checks
    verifies formal properties about OTHER code
    you have to supply, or spits out a contrary
    proof. E.g., you can use it to prove that a
    state is not reached, or something will always
    happen in another program. (Of course, you
    have to supply the OTHER program you wish to
    prove these properties. And do a helluva
    lotta programming to get the model checker to
    use the other programs CFG.)

    Terrorists doing model checking. Hehe. That's
    a good one. We might also want to make sure
    terrorists don't get their hands on an editor.
    Because they could use our editor technology
    against us. Hehe.

  22. Screenies at press release by balster+neb · · Score: 1

    Screenshots (sort of) can be found here: here.

    Also of interest is the software these NASA people use. Most of the stuff seems to be done on Macs, but it's nice to see the one Windows machine (this) using Firefox and Thunderbird (the latter visible in the taskbar area).

    1. Re:Screenies at press release by Anonymous Coward · · Score: 0

      Most of the *screenshot-posting* people are using Macs at least. But still, your point is well taken.

    2. Re:Screenies at press release by martinde · · Score: 1

      > Also of interest is the software these NASA people use.

      I worked (as a consultant) on this team. Development was done in Eclipse on Windows, using (x)emacs, ant, etc and/or eclipse on Linux and Solaris, using Apple's IDE on Mac. Basically the developers used whatever they were effective with, that's one nice part about using a cross-platform language.

  23. Oh, no! by Anonymous Coward · · Score: 0

    If it's hosted on sf.net then the terrorists would have open access to our technology & methodology. Sounds too good to be true, thats what I would be thinking if I were Osama Bin Laden. This sort of code and it's related technologies should be kept out of the hands of potentionally hostile regimes to the u.s., IMHO. You may have a different opinion but I'm concerned about the safety and welfare of our nation.

    Oh, no! The worst has happened! Osama bin Laden has learned to debug software!!!

    Call in the army! Send in the militia! We can't let any other nation learn the secrets of robust software development, or democracy will die!

    Then again, maybe I'm just overreacting a bit...
    --
    AC

    1. Re:Oh, no! by 01000011011101000111 · · Score: 1

      "We can't let any other nation learn the secrets of robust software development, or democracy will die!" - You haven't been to MS headquarters recently, have you ;)

      --
      Programming is an Art. I am an Artist. Does that mean I get to wear a daft hat?
  24. Does anyone know of a logic checker? by bigdog1 · · Score: 1

    Does anyone know of something similar for hardware? In other words something that can be used to check all states of a state machine that would go into an fpga or ic design?

    1. Re:Does anyone know of a logic checker? by Anonymous Coward · · Score: 0

      Um, yea. The chip makers have been using them
      for nearly a decade. Remember the Pentium floating
      point bug? It cost a billion in recalls. Well,
      since then all the big chip makers have been using
      checkers, sometimes just for parts of the chip
      (e.g., just the FPU logic).

      You should check out this service called google.
      For fewer keystrokes than it took to post your
      question, you can actually get informational links.

    2. Re:Does anyone know of a logic checker? by Anonymous Coward · · Score: 0

      what you are refering to here are verification tools. Yes they exist for statemachines, for a while now. key words to use when doing a google search are: hardware verification, VHDL, Verilog, model checking, statemachine checking.
      -izzmauser (whoops in a hurry and not logged on)

  25. Surely, soap on a roap? by Anonymous Coward · · Score: 0

    I just want to know how much time I have...

    John Penix; because there is only one way to do a feces.

  26. Not First App OS by millahtime · · Score: 4, Informative

    This is not the first app that NASA has open sourced, just the first one on sf.net. NASA has an OS website at
    http://opensource.arc.nasa.gov/

    1. Re:Not First App OS by twiddlingbits · · Score: 3, Interesting

      Years ago (1980s) NASA used to have a repository called COSMIC that contained lots of code. It was mostly FORTRAN code for mathematical modeling or simulation of things like aerodyamics or heat transfer or stresses. A lot of it came from the Apollo program and some from Shuttle. When I did simulations for DOD systems we'd look there for code to reuse before we did our own as we felt if NASA was using it then it was verified and pretty tight in execution time.

    2. Re:Not First App OS by DerekLyons · · Score: 0, Flamebait
      Years ago (1980s) NASA used to have a repository called COSMIC that contained lots of code
      Well, then web server must have a time travel device - because it has the COSMIC code available. (And it's just *one* clearly marked click from the number one result in Google for "NASA cosmic" as well as being the third result for the same search.)
  27. yep by Anonymous Coward · · Score: 0

    One small step for NASA, one giant leap for the open source community.

  28. This isn't possible is it? by JustNiz · · Score: 1

    From what I understand, according to Turing's Halting Problem, what the Java Pathfinder is trying to do isn't actually a computeable problem.

    1. Re:This isn't possible is it? by Anonymous Coward · · Score: 0

      It is possible because the number of "states" that the software can be in is finite even though it grows exponentially. It's called the state space explosion problem and will always be the greatest hindrance to model checking completely replacing other forms of software testing.

    2. Re:This isn't possible is it? by twiddlingbits · · Score: 1

      There is some disagreement about that. This issue was raised on /. a while back and I had some exchanges with someone who said the problem is solvable with certain constraints but not in general. I do know there are several software firms doing work with DOD research money in this area. I have asked some friends at NASA IV&V to take a look at this tool and see how good it is or if it's just a prototype. NASA is bad about doing prototypes that just tease you and then never getting the full project done due to lack of funds :(

    3. Re:This isn't possible is it? by GileadGreene · · Score: 2, Informative

      The halting problem basically says that you can't write a program that will determine whether or not any arbitrary program will halt. It doesn't say that you cannot determine the halting properties of a specific program or class of programs. Java Pathfinder works. Model-checking in general works, and has been used for many years in many applications. Examples of model-checkers that have seen fairly wide use include (off the top of my head) SPIN, SMV, FDR, TLC, and Verisoft.

    4. Re:This isn't possible is it? by Anonymous Coward · · Score: 0

      The halting problem says it's impossible to know if a given program will terminate. It's also possible to prove that there's no way to determine if two arbitrary programs are equivalent.

      However, that doesn't make approximations useful. Optimizing compilers transform programs all the time by only worrying about certain common subsets of programs which can be determined equivalent to another (e.g. constant folding can identify that "3 + 5" has the same denotation as "8").

      Similarly, most static analysis tools are there just to automate what analysis that can be trivially handled, and alert the user of what code couldn't be machine verified. Now the developer's job of ensuring his program is correct has been reduced from reviewing the entire code body to a much smaller section. (And if the program wasn't able to verify it, it's more likely that it's an "interesting" section to validate rather than just checking that your variables are initialized properly in every path of every trivial helper function.)

    5. Re:This isn't possible is it? by atwood · · Score: 1
      Tried JPF on a simple program;

      I get: Exception: gov.nasa.jpf.JPFException: Class.newInstance() not yet supported

      They include about 16 examples with the dist, but has anyone other than the authors used this?

  29. responsibility by SuperBanana · · Score: 4, Insightful
    The bigger question for me is if the open source software is used and fails then where does the accountability lie

    With NASA, for not validating/testing a solution enough, just as it would be my responsibility if I implemented a half-assed piece of software into a corporate environment without adequate testing. If NASA went down to the hardware store and bought a garden hose valve for a rocket fuel tank, slapped it on the night of a launch and it failed and sent a rocket into the drink- would you blame the garden hose valve maker? Course not. We like to point fingers all the time at things other than our decision-making process.

    I help volunteer for a car club which teaches high performance driving at various racetracks. A lot of stuff becomes Really Important when you're driving close to the limits of your talent and the vehicle's equipment. Stuff does go wrong, although it's statistically very rare for there to be an incident caused by mechanical failure. Much of the time, it's driver error.

    For example, a wheel falls off. The driver says "I crashed because my wheel fell off." No. The driver crashed because the driver forgot to check lug bolt torque, and the wheel came off because the torque on the lug bolts wasn't correct. A more complex example: "I crashed because my brakes failed". No. The driver crashed because the lap before he crashed, the driver didn't realize his brake pedal was getting really spongy- or worse, he did realize it, and didn't do anything about it (ie, he didn't pit in and bleed the brakes because he wanted to stay out on track).

  30. Damn, how many NASA employees... by planetoid · · Score: 4, Funny

    How many NASA employees got fired on their first day at work when being introduced to this "John Penix" fellow and giggling uncontrollably right in front of him?

    --
    Slashdot requires you to wait longer between hitting 'reply' and submitting a comment.
    1. Re:Damn, how many NASA employees... by aweiland · · Score: 1

      I have a vewy good fwiend in Wome named Biggus Dickus!

    2. Re:Damn, how many NASA employees... by jpenix · · Score: 1

      dude! that's my cousin!

      --
      -jp
  31. Is Open Source "Cool" At Last? by trifish · · Score: 2, Interesting

    Recently, several large corporations, which (apart from other things) develop commercial software, released a number of projects on sourceforge.net. Among them were: Microsoft (3 projects), Google (4 projects), IBM (30 projects), Adobe (1 project). The reasons they gave for such move are often somewhat "foggy". My personal opinion is that it finally became "cool" to have a project on sourceforge.net, which is great of course.

    1. Re:Is Open Source "Cool" At Last? by planetoid · · Score: 1

      My thinking is that considering our taxes are paying for the development of this software anyway... you may as well expose the code to wider public scrutiny, for both the purposes of scientific peer-review as well as, inductively speaking, financial accountability to taxpayers to ensure their money isn't being spent on flimsy, crash-prone software.

      --
      Slashdot requires you to wait longer between hitting 'reply' and submitting a comment.
  32. 1337 HAX0RZ by Veinor · · Score: 1

    How many people do you think are going to try to insert bad commands to show the world that they can do 1337 hacking skillz?

  33. John by northcat · · Score: 5, Funny

    The team around John Penix, Willem Visser, and Peter Mehlitz fought long and hard to get the development hosted outside of NASA

    Long and hard indeed.

    (I'm going to hell for this.)

    1. Re:John by Anonymous Coward · · Score: 0

      Darnit! He's a great guy at NASA. This is an insult!

  34. Larry Wall developed Perl at NASA by RealProgrammer · · Score: 2, Insightful

    'nuff said.

    --
    sigs, as if you care.
    1. Re:Larry Wall developed Perl at NASA by r2q2 · · Score: 1

      And that is supposed to be a good thing? Perl is probally one of the worst things to happen to a programming language other than COBOL.

      --
      My UID is prime is yours?
    2. Re:Larry Wall developed Perl at NASA by Monkelectric · · Score: 1
      Not to worry. The sun has set on perl a LONG time ago. Notice how all the exciting stuff is in Python now? Soon it will be Pythons time to be the old and busted language. (sniffles)

      Seriously though, perl was a good language *AT THE TIME* it was made. However, as im sure you're aware, its hellish to maintain. I can work on some perl, go have a bit of lunch, then come back and have no idea what I just wrote does -- its that terse. I personally find that somehow python mirrors my *thought* process, and with pyscho python is pretty fast. Although, I think thats only for x86 platforms right now.

      --

      Religion is a gateway psychosis. -- Dave Foley

  35. Uh-huh. by Grendel+Drago · · Score: 0, Offtopic

    ... and that person is paying taxes on the income they receive from that ownership.

    Yeah, right. Tell me another. Do you know how far the tax rate of the wealthiest has fallen since 1950? Not to mention offshore tax shelters, loopholes and associated bullshit.

    --grendel drago

    --
    Laws do not persuade just because they threaten. --Seneca
    1. Re:Uh-huh. by PaxTech · · Score: 0, Offtopic
      Yeah, right. Tell me another. Do you know how far the tax rate of the wealthiest has fallen since 1950? Not to mention offshore tax shelters, loopholes and associated bullshit.

      Actually, no I don't know how much the tax rate on the rich has fallen since 1950. But I can tell you how much it's RISEN since 1979. Get your facts straight dude. I 1979 the richest .1% paid just over 5% of the tax revenue collected. Now they pay almost 10%.

      --
      All movements for social change begin as missions, evolve into businesses, and end up as rackets.
    2. Re:Uh-huh. by fijimf · · Score: 1

      At eight stories, the Dakota doesn't truly count as a high rise. But I still get the irony...

    3. Re:Uh-huh. by Swanktastic · · Score: 1

      Yeah, right. Tell me another. Do you know how far the tax rate of the wealthiest has fallen since 1950? Not to mention offshore tax shelters, loopholes and associated bullshit.

      You're missing the point. The OP was talking about the balance between corporate taxes and income taxes, NOT the fraction of the burden paid by wealthy individuals.

      If you want to make wealthy individuals pay more of the burden of taxes than they already are, I agree. But changing the corporate tax code is an incredibly costly and ineffective way to get there.

      And, you're grossly misinformed about the burden of taxes paid by wealthy individuals if you're implying they don't pay taxes. According to IRS statistics, the top 1% of individuals make about 16% of income, but pay about 33% of taxes. The top 1% pays more in taxes than the bottom 50%. Whether that's the way we want to run our nation is debatable...

    4. Re:Uh-huh. by PaxTech · · Score: 1

      Hmm.. good point. I changed it slightly..

      --
      All movements for social change begin as missions, evolve into businesses, and end up as rackets.
  36. It is OS within the goverment by Anonymous Coward · · Score: 0

    Government software is open source, to the rest of the government.

    If a federal agency writes a piece of code it is required to share it will any and all other federal agencies. Any contractor who writes code for a government agency is required to give all source code to said agency.

    Disclaimer, no support needs to be provided and any program that can be covered under the national security clause is exempt (A lot more since bush took office)

  37. Hmm... This is new. by Mmm+coffee · · Score: 3, Interesting
    I've checked out the license (link), and it for the most part mirrors the GPL, with the addition of a clause which grants patent rights. However, 2.F provides this following gem:
    F. In an effort to track usage and maintain accurate records of the
    Subject Software, each Recipient, upon receipt of the Subject
    Software, is requested to register with Government Agency by visiting
    the following website: http://opensource.arc.nasa.gov. Recipient's
    name and personal information shall be used for statistical purposes
    only. Once a Recipient makes a Modification available, it is requested
    that the Recipient inform Government Agency at the web site provided
    above how to access the Modification.
    Note that I am not doubting that this is indeed Free Software, as it follows the four freedoms:
    1. The freedom to run the program, for any purpose
    2. The freedom to study how the program works, and adapt it to your needs. Access to the source code is a precondition for this.
    3. The freedom to redistribute copies so you can help your neighbor.
    4. The freedom to improve the program, and release your improvements to the public, so that the whole community benefits. Access to the source code is a precondition for this.
    From what I can tell, this is definitely a true Free Software license. However, you have to register with an agency of the United States government in order to muck with the code. Some may have a problem with this, be forewarned.
    1. Re:Hmm... This is new. by apilosov · · Score: 3, Informative

      Note the *requested* not *required*.

      The above clause is strictly optional and does not conflict with GPL in any way.

    2. Re:Hmm... This is new. by jpenix · · Score: 2, Informative

      That part is a "request" - it does not invalidate the license to not register.

      --
      -jp
    3. Re:Hmm... This is new. by Anonymous Coward · · Score: 0
      Request: (v): To express a desire for; ask for. (Definition 1, Dictionary.com)

      Have (v): To be obliged to; must. (Definition 14, Dictionary.com)

      NASA is REQUESTING, you are saying you HAVE TO. They are not stripping you of any freedoms. The biggest problem I see is your comprehension of English.

    4. Re:Hmm... This is new. by Jerf · · Score: 0, Redundant

      Can you reconcile your post with the fact that the license says "requested", not "required"?

    5. Re:Hmm... This is new. by Anonymous Coward · · Score: 0

      I'd suggest you re-read that part. It is requested not required that you register. They're just asking nicely.

    6. Re:Hmm... This is new. by spurious+cowherd · · Score: 0, Redundant
      Requested

      A simple perusal of the site will show that you do not have to register. They're just asking & you can still get the code if you don't register.

      No tinfoil hat needed

      --

      Time flies like an arrow, fruit flies like a banana.

    7. Re:Hmm... This is new. by Mmm+coffee · · Score: 3, Informative

      You are correct, I admit my mistake and my apologies.

    8. Re:Hmm... This is new. by docbrazen · · Score: 1

      It also has an annoying 'advertisement clause', like in the earlier BSD license.

      B. Each Recipient must ensure that the following copyright notice appears prominently in the Subject Software:

      Copyright (C) 2005 United States Government as represented by the Administrator of the National Aeronautics and Space Administration (NASA). All Rights Reserved.

      And it also has a few other annoyances, such as required documentation for modifications and other copyright notices. All and all, it's still good and many people do these things, but it's still troublesome to have it as a requirement.

    9. Re:Hmm... This is new. by Tarrio · · Score: 0, Redundant

      You're requested, not required.

      Requested is "pretty please...". Required is "do it or else".

    10. Re:Hmm... This is new. by Anonymous Coward · · Score: 1, Interesting

      The GPL requires that you annotate your changes. If you don't, woe unto you. And if your software isn't GPL'd and you don't annotate changes - woe unto you anyway.

      This NASA license only talks about notices appearing in the software (for example at the top of source files, perhaps in the About box) but doesn't mention advertising.

      What was obnoxious about the BSD license was that if you said "Our Foomatix BazQux uses FreeBSD" you were legally supposed to add a huge list of universities, companies and government organisations who wanted their names mentioned. It worked out OK when only the Regents of Berkeley wanted to be listed - that's just one line of text, but of course everyone copied the license and changed the name at the top...

    11. Re:Hmm... This is new. by electricdream · · Score: 2, Informative

      It's free software according to the OSI

      http://www.opensource.org/licenses/nasa1.3.php

      --
      -- force and mind are opposites; morality ends where a gun begins ayn rand
  38. First person to find a security hole... by HG2 · · Score: 1

    Gets to crash a space station... this is one small step for NASA, one gaint leap for hackers :P

  39. Re:Huh ... huh ... huh by Thud457 · · Score: 0, Flamebait
    Sweet zombie Jesus, will you liberal slashbots give it a freakin' break?!!

    You bitch and complain because the adminstration kowtows to the cultural conservatives by paying lip-service to the gay marriage ban, and then when the Whitehouse reaches out the the gay community by giving the highly-regarded post of administration ringer to a gay-American, you make snide comments about THAT, too! There's just no pleasing you un-American, democratic bastards!

    --

    the preceding comment is my own and in no way reflects the opinion of the Joint Chiefs of Staff

  40. Re:Oh man, I needed that. by Decaff · · Score: 4, Insightful

    "Could it be that NASA is finally giving up on Ada and embracing the safety, reliability, and simplicity of Java?"

    BWHAHAHAHAHA!!!

    Oh, man. I needed a good laugh today.


    Aside from the compulsory Slashdot Java FUD, it's really not a joke. Java has a big advantage in that the the bytes codes produced can be verified, and so the program tested, without any concerns of the final deployment platform. This is a major advantage for an organisation like NASA which most likely has a wide range of hardware on which software is deployed.

  41. Comment removed by account_deleted · · Score: 1, Funny

    Comment removed based on user account deletion

  42. NASA has several OSS projects by Anonymous Coward · · Score: 0

    You can see some of the projects at: http://opensource.gsfc.nasa.gov/projects.php

    The OS abstraction layer is going to have an update fairly soon, i believe.

  43. Java pathfinder by Anonymous Coward · · Score: 0

    I did not RTFA. But how can this program check all possible paths of any java program to detect deadlock etc. Isnt this a variation of the halting problem ?

  44. miles vs meters by dance2die · · Score: 0

    Now for my Java project which calculates distances between two geographic points, i hope JPF doesn't force me to use metric systems instead of English units(miles)... Wait a sec, didn't NASA make some mistakes themselves in the past by mistaking Miles for KM's before?

    --
    buffering...
  45. OT: NASA may cut half its Ames workers by peter303 · · Score: 1

    Open source may be a "sunset" project this Silicon Valley branch of NASA because that site is to be decimated and perhaps closed.

    Ames mainly performs long term R&D in space and areonautical sciences. There is an opinion in the adminstration that the federal government should not be conducting R&D internally, but outsourcing it to universities, companies, and think tanks. This is pretty much the model in the biological sciences.

  46. Comment removed by account_deleted · · Score: 1

    Comment removed based on user account deletion

  47. Re:Oh man, I needed that. by drakaan · · Score: 1, Insightful
    ...without any concerns of the final deployment platform.

    I'm sorry, but you've got to be fucking kidding me.

    NASA knows explicitly what the final deployment platform will look like, from hardware up to OS and available software binaries. It's part of the all-encompassing and overwhelming specification process used when creating a new government (well, NASA/military) project.

    For what NASA is doing, what they need is a language that is well-understood (Ada most definitely is), and Java doesn't fall into that category yet...C++, maybe, but not Java.

    --
    "Murphy was an optimist" - O'Toole's commentary on Murphy's Law
  48. Re:Oh man, I needed that. by AKAImBatman · · Score: 1

    For what NASA is doing, what they need is a language that is well-understood (Ada most definitely is), and Java doesn't fall into that category yet...C++, maybe, but not Java.

    Sure it does. Once you get down to the embedded development level, it's far easier to plan for capacity and availability. Programmers do it all the time for MIDP cell phone programs. The difficulties you are considering have to do with Desktop applications which use an unpredictable amount of resources.

  49. C Global Surveyor? by Effugas · · Score: 1

    Funny to see this code; I was just pinging the developers of C Global Surveyor (a vaguely similar tool that operates on C/C++ code instead of Java) to see if I could get access to their work. I didn't get a reply, but hopefully Java Pathfinder will give them the cover they need...seriously, CGS looks absolutely brilliant.

  50. Not me by Anonymous Coward · · Score: 0

    I hope President Spitzer's first action upon assuming office in 2017 is
    to get you some reading comprehension skills.

  51. Re:Oh man, I needed that. by Decaff · · Score: 1

    I'm sorry, but you've got to be fucking kidding me.

    Is this kind of statement really necessary?

    NASA knows explicitly what the final deployment platform will look like, from hardware up to OS and available software binaries. It's part of the all-encompassing and overwhelming specification process used when creating a new government (well, NASA/military) project.

    NASA has a huge range of deployment platforms, and not all are of military grade hardware/embedded. There are matters of security systems etc.

    For what NASA is doing, what they need is a language that is well-understood (Ada most definitely is), and Java doesn't fall into that category yet...C++, maybe, but not Java.

    I worked alongside people who were developing Ada in the early 80s, so I know how it is used. I am also aware of the attempts at proof-of-code-correctness that were made at the time. This is extremely difficult with source, and much work in avionics is done by analysing and tracing the resultant machine code. This is why using a language such as Java that has a specified, hardware independent, set of byte codes is so useful. Java is a far smaller language than C++, specifically tailored for safety and security. It also includes built-in standard capabilities for real-time concurrency much like Ada.

  52. family guy by fornaxsw · · Score: 1

    Hahaha, Hey Penix, what's your wife's name? Vagina Coastguard?

    1. Re:family guy by Anonymous Coward · · Score: 0

      The actual problem is that NASA does not and WILL NOT use Java ! JavaPathFinder is a FAILED project and nobody needs it anymore. Have you guys read their papers, they are ridiculous, they have manually translated C++ to Java ! for verification.
      Well, give me a break, why don't we verify directly C++ without MANUALLY translating it to an inferior language.

      If you are interested in program verification, just check out SPIN.

  53. Re:I'll probably get modded down for this... by jpenix · · Score: 3, Funny

    --
    "Do you think," said a Woodpecker who had been busy making a hole in the table, "that there might be a problem with the name 'UNIX'? I mean, it does sort of suggest being less than a man."

    "Maybe we should try another name," suggested the Job Sparrow, "like Brut, or Rambo."

    "Penix," suggested a Penguin.

    http://www.davar.net/HUMOR/UNIXLAND.HTM

    --
    -jp
  54. Re:Huh ... huh ... huh by j!mmy+v. · · Score: 1

    There's just no pleasing you un-American, democratic bastards!

    What could be more American than democracy?

    --
    -- often wrong; never in doubt
  55. It's not legal by ngc2244 · · Score: 3, Insightful

    The federal govenrment can't hold a copyright.

    Copyright (C) 2005 United States Government as represented by the
    Administrator of the National Aeronautics and Space Administration
    (NASA). All Rights Reserved.

    The above statement from the license is not legal.

    By defn all copyrightable materials produced by the feds are Public Domain... in the most legal sense of the phrase.

    Someone at NASA wasn't paying attention.

    Furthermore, since the copyleft principle relies on Copyright to grant certain permissions, the fact that the Feds can't hold copyright means that they can't use "traditional" open source licenses.

    That's why you don't see this whole flood of OSS from the feds.

    1. Re:It's not legal by DrZZ · · Score: 3, Informative
      The federal govenrment can't hold a copyright.


      That's not precisely true according what I read in the US Code. Work done by federal employees certainly can not be copyrighted, but work done by others can be assigned to the federal government. Of course the specifics of who did this work and whether it qualifies as a work of the government (ie how DID they get around this) are something I would like to see clearly explained

    2. Re:It's not legal by ngc2244 · · Score: 1

      You are of course correct. I did over simplify based on the "NASA goes open source" rehtoric.

      Often the circumstance you pointed out comes up when a third party does the work for the government under contract; then you sometimes see this kind of thing. But in those cases, usually the third party retains the copyright in the first place.

      Personally, I don't see how their license is "better" than having something in the public domain. Sure there is potentially a derviative works issue, but hey you can't get much more open than public domain!

      The Bayh-Dole act does have provisions where the Feds can exercise their march in rights, but this is usually applied in cases of national security. Unlikely, the case here. And there have been recent cases where they have taken back IP when the private entity neglected to follow IP reporting requirements of contracts.

      But these are usually special situations. I have seen some OSS licenses come out of the NIH, and these are a clear violation, since the work was doen entirely within the agency.

      As you, I would want to see the details, before I touched this one.

    3. Re:It's not legal by bit01 · · Score: 1

      That's why you don't see this whole flood of OSS from the feds.

      Nonsense, government funded researchers create a huge amount of open source software. Ever heard of publish or perish?

      ---

      Commercial software bigots - a dying breed.

  56. Re:Oh man, I needed that. by Coryoth · · Score: 1

    Aside from the compulsory Slashdot Java FUD, it's really not a joke. Java has a big advantage in that the the bytes codes produced can be verified, and so the program tested, without any concerns of the final deployment platform. This is a major advantage for an organisation like NASA which most likely has a wide range of hardware on which software is deployed.

    Which is nice, but when it comes to serious mission critical software where faults can't be tolerated Ada has some advantages. Call me when Java has anything equivalent to SPARK for validating code.

    Jedidiah

  57. give with one hand... by Anonymous Coward · · Score: 0
    and take with the other...

    The NASA announcement is one part of a larger battle over the federal government's position on the roles of public vs. private, secret vs. open, etc. This represents a rare win for the public-open axis. On the other hand, one Senator wants to restrict public access to weather service data (that the public already paid for collecting, one story here: http://www.usatoday.com/weather/news/2005-04-27-NW S-bill_x.htm?POE=NEWISVA). The president's proposed dismantling of social security is another.

  58. Re:Oh man, I needed that. by Decaff · · Score: 1

    Which is nice, but when it comes to serious mission critical software where faults can't be tolerated Ada has some advantages.
    Call me when Java has anything equivalent to SPARK for validating code.


    Work on this has started. Here is an example:
    https://www.hija.info/
    "High Integrity Java".

    Much of the technology for this is already in place. For example, the Hotspot optimiser for Java already does bounds prediction of some variables in order to eliminate the need for time-consuming range checks in code such as loops.

  59. Re:Oh man, I needed that. by GileadGreene · · Score: 1

    You might take a look at ESC/Java, which provides "extended static checking" for annotated programs. It's similar in concept to SPARK/Ada, although I'm not sure how well they compare in terms of features.

  60. winvn port to Linux by Pooh22 · · Score: 1

    Talking about opensource software from NASA, has someone ported winvn to Linux yet?

    tnx

    Simon

  61. Re:Oh man, I needed that. by Coryoth · · Score: 1

    That's nice to know. I wasn't meaning to diss Java - I think it's a nice language. I was more interested in the fact that it's (relatively speaking) a young language and doesn't have all the tools and additions available for it that something with a long history in high integrity software like Ada does.

    I do expect Java to get there soon. That's for the reference, it looks like they were closer than I had previously thought.

    Jedidiah.

  62. No commented... by JetScootr · · Score: 1

    When I asked about this in my journal. Anyone interested?

    --
    Pavlov wouldn't be so famous if he'd used a can opener instead of a bell.
  63. Better do this before the author's are laid off by Anonymous Coward · · Score: 0

    Since Ames Research Center is looking at a 1/3rd budget cut, all of the software projects better put their development tree outside of NASA. Once the authors are laid off, the software will die and no one will try to get it out.

  64. Obvious by mccrew · · Score: 1

    Does it automatically do metric to English unit conversion?

    --
    Hey, Windows users, there is no such thing as "forward" slash, there is only slash and backslash.
  65. Help! I can't stop myself from posting! by anomaly · · Score: 1

    Sure income redistribution is a grand idea. Let's all sign up.

    Ack!

    Income redistribution stifles innovation. Why should I work hard if you're going to take it away from me and give to 'the needy' (where needy is defined merely by someone who has less than 'average.')

    If you redistributed income once - taking all of the money and resources away from the rich and poor and equitably distributed to each one, within ten years most of the people who were rich originally would be rich again. This is because some of them are smart, creative people who apply themselves and find ways to collect resources through socially acceptable means. Others will lie, cheat and steal from people so that they can increase their stockpile. Some of those who were originally rich - those from 'old money' - might be shut out of the cash, but others who were 'upper middle class' would most likely take their place. The poor would still be poor.

    So, you must have a constant wealth redistribution plan where assets are repeatedly and frequently taken from the 'rich' to give to the poor.

    Aside from the gaping loopholes, and the lack of motivation those in power have to take resources from themselves, this MIGHT work, except for the fact that it stifles innovation and kills the spirit and creativity of the workers.

    Why should I achieve if you're going to take it from me? Look at the failures of the Soviet system for an example of how this falls flat. If we institute wealth redistribution (at a greater rate than we already have today due to our tax system) we will destroy the engine that drives our economy.

    It's a bad deal, and I'd hate to sit on my butt letting my creative talents go to waste. If you're going to take my money - that I worked hard to earn through application of my talents and personal discipline - I might as well sign up for the handouts.

    It's a bad idea. A non-starter. Enjoy your marxist philosophy. Hope you can find a place where it will actually work.

    For what it's worth, I believe that we who have a great deal must have compassion on those who have substantially less. We should give generaously to those in need. I don't need the government to compel me to do it. The government is terribly inefficient at EVERYTHING it does. Let's not waste those resources.

    Respectfully,
    Anomaly.

    --
    But Herr Heisenberg, how does the electron know when I'm looking?
  66. NASA wants to add value by EmbeddedJanitor · · Score: 1
    NASA's big decade was the 60s. They were doing amazing things and were the darlings of the US and much of the world. Even those that thought space research was useless still saw some side-benefit from the space research (eg. supposedly non-stick fry pans).

    Now NASA has a far less glowing image. So we see another probe every now and then. We see an archaic shuttle. By releasing software, NASA is potentially creating more positive press again. Even those people who think space reasearch is stupid might say "Hey at least we get some new software".

    Besides... if you're an american tax payer you already paid for this stuff anyway.

    --
    Engineering is the art of compromise.
  67. Welcome! by sTeF · · Score: 1

    i genuinely welcome everyone who welcomes me. this is a triumph of communication. lets all together invid/te our vicinicity

  68. Wasn't there a SF project by Anonymous Coward · · Score: 0

    ...to develop a script that will play the "Memento" DVD in the correct chronological sequence?

  69. Effort in futility by Anonymous Coward · · Score: 0

    I think NASA has too many engineer and not enough theoretical computer scientist. If they had they would realize this is an effort in futility.

    A program 'A's logic is being checks by a program 'B'. We can assume nothing about 'A' so we turn focus to 'B'. We make 'B' check the logic program 'B' and we are stuck with a circular logic problem which can never be define in a computer.

    simiular proof
    http://en.wikipedia.org/wiki/Halting_problem/

    1. Re:Effort in futility by Anonymous Coward · · Score: 0

      Hehe, do you really believe this ?

      I'd recommend you to read Holzmann, "The SPIN model checker".

      http://spinroot.com/spin/Doc/Book_extras/

    2. Re:Effort in futility by Anonymous Coward · · Score: 0

      The article as i understood is looking for a logic error finding program. What i ment to say is there can't exist an algorithm to find logic error. When this happen you get into messy searching problem. Even if there is a way to make a logic checking. It is will be some massive program that you just make more working tring to debug two program instead of one.

    3. Re:Effort in futility by jpenix · · Score: 1

      The impossible task isn't finding errors - it's proving the absence of errors.

      We're always looking for examples if you'd like to contribute some code.

      jp

      --
      -jp
    4. Re:Effort in futility by Anonymous Coward · · Score: 0

      Try a depth first search of the variable combination it will take a while but you will probably find most of the errors.

    5. Re:Effort in futility by sgt101 · · Score: 1

      It's a while since first year CS (10 years) but as I remember it (and I can't be bothered to look on Google) the halting problem actually shows that it's not possible to use one program on a turing machine to check that all other programs will finish because there is at least one setting that causes the checking process to continue indefinitely.

      That's not what you say here, and the difference is important.

      Also model checking is well known to be exponentially complex and intractable *in the worst case* the nice thing is that the worst case hardly ever seems to crop up and the cases that do crop up in a nice implementation can be checked very fast. This is what the NASA chaps are doing her.

      BTW. I'm pretty sure that I couldn't get a job as a janitor at NASA (although I am quite niffy with a mop and bucket), so I think a little more respect and consideration of opinion for them is in order from you!

      --
      --------------------------------------------- "In the end, we're all just water and old stars."
    6. Re:Effort in futility by sgt101 · · Score: 1

      Well, no, you probably won't.

      The reason is that there are a limited number of bits in the Universe and a limited amount of seconds. If you multiply these two numbers and then multiply it by the instructions per second rate of a computer thats thought to be as fast as is physically possible then you get a number like

      10^128

      or so.

      This is a very, very large number, but it does represent an absolute limit on tractablity of computing problems because what it says is if you could build a parallel computer that was physically optimal and ran it for the life time of the universe you would not get an answer to a problem that required more instructions than 10^128 to compute.

      --
      --------------------------------------------- "In the end, we're all just water and old stars."
    7. Re:Effort in futility by Anonymous Coward · · Score: 0

      Considering that you begin with a program give it a limitation to begin with.

      If your program that large you going to have to put a cut off or limiting. You probably test your expected condition to death already so scan through unlikely or impossible circumstances.
      scan throught the limit of the datatype (ie .2 in double or floating point is stored as .199999 repeating)

    8. Re:Effort in futility by Anonymous Coward · · Score: 0

      I would also look at you compiler they tend to have errors.

  70. Re:Oh man, I needed that. by Anonymous Coward · · Score: 0

    On Real-Time Systems, Java is still not a suitable candidate due to its indeterminstic garbage collection.

    In mission-critical application, a hard time requirement cannot be violated. And you wouldn't want Java's gc to kick in and cause a space shuttle to crash would you.

    http://www.developer.com/java/other/article.php/13 67671/

  71. Re:Help! I can't stop myself from posting! by killjoe · · Score: 1

    Income distribution from the rich to the poor is a relatively new invention of mankind. Throught almost all of our history the rich always got richer. The more money you had, the more power you had the easier it was to gather more money and power. Eventually everything in a country was owned by the king or a handful of famillies. What usually followed was a revolution in which the rich were killed and the cycle started over again.

    Of course you can see this going on all over the workd right now. There are lots of countries with no income redistribution and where a handful of families own everything. Oddly enough they always seem to be having coups and violent surpressions of dissent. Iraq and afghanistan come immediately to mind.

    What you fail to understand is that the natural tendency of money is to flow "uphill". Income redistribution is a good thing. It prevents violent revolutions.

    "For what it's worth, I believe that we who have a great deal must have compassion on those who have substantially less. We should give generaously to those in need. I don't need the government to compel me to do it. "

    I hear this a lot but see very little evidence for it. Rich people tend to give a miniscule percentage of their income to charity and most of their charity seems to go to their alma matter or the opera or something.

    --
    evil is as evil does
  72. Re:Oh man, I needed that. by Decaff · · Score: 1

    On Real-Time Systems, Java is still not a suitable candidate due to its indeterminstic garbage collection.

    The nature of the garbage collection is an implementation detail, not a language feature. There have been real-time implementations of Java with deterministic garbage collection for years.

  73. Choosing free software, and accountability by CarpetShark · · Score: 1
    if the open source software is used and fails then where does the accountability lie?

    It's just there: with the people who choose to use it. If they release something as Free Software, there are likely three possible reasons:

    1. The software is good, and they want it to be better
    2. The software is not good, and they want it to be fixed.
    3. The software is great, and they want everyone to have access to it.

    In all of these cases, the final responsibility for using that free software in a project lies with those who actually incorporate it into the project. In all of these cases, they can choose an older fork which is known good. And again, in all of these cases, they can test heavily.

    Free Software is a social contribution and a development model, but it's not a quality control system, and never will be. Of course, there are probably quality control systems that are Free Software, too ;)

  74. Re:Oh man, I needed that. by Anonymous Coward · · Score: 0
  75. How much is enough? by anomaly · · Score: 1

    I hear this a lot but see very little evidence for it.

    If it is necessary for the government to intervene to compel people to give, then why have charities in the US received more than $1B in private donations just for tsunami relief?

    Why is it estimated that Americans gave $241B in charitable donations in 2003?

    The US government is forecasted to spend $1.3T in annual entitlement spending during 2005. How much is enough?

    Is it truly your argument that we should take from the 'rich' and distribute their assets to the 'poor' so that the poor don't rise up and kill the rich?

    Do you realize that the poor in the US are living with orders of magnitude greater wealth that the rest of the developing world?

    Should we liquidate the US assets and give them to the Indians, Chinese, and Indonesians? Would that prevent them from rising up and killing us?

    Are you serious?

    --
    But Herr Heisenberg, how does the electron know when I'm looking?
    1. Re:How much is enough? by killjoe · · Score: 1

      "If it is necessary for the government to intervene to compel people to give, then why have charities in the US received more than $1B in private donations just for tsunami relief?"

      A billion is nothing. Do you know how much it costs to feed the homeless, house the indigent, to take care of the elderly and sick?

      "Why is it estimated that Americans gave $241B in charitable donations in 2003?"

      Again miniscule amount compared to what the taxpayers put up to educate, feed, and care for those in need.

      "The US government is forecasted to spend $1.3T in annual entitlement spending during 2005. How much is enough?"

      That's what elections are for. The public gets to decide by voting things like farm subsidies, coal mining etc.

      "Do you realize that the poor in the US are living with orders of magnitude greater wealth that the rest of the developing world?"

      Yes I realize that. SO what? Are you saying we should all live like palestenians?

      "Should we liquidate the US assets and give them to the Indians, Chinese, and Indonesians? Would that prevent them from rising up and killing us?"

      YOu didn't read my post did you? Why don't you go back, read it and then answer.

      --
      evil is as evil does
  76. I *did* read your post by anomaly · · Score: 1

    You said: What usually followed was a revolution in which the rich were killed

    It seems to me that the logical extension of this is that the poor countries of the world should be expected to rise up to eliminate the rich ones. They certainly outnumber us.

    You also said: What you fail to understand is that the natural tendency of money is to flow "uphill"

    If you read my previous post, I agreed with that statement when I said: within ten years most of the people who were rich originally would be rich again http://slashdot.org/comments.pl?sid=147514&thresho ld=2&commentsort=3&tid=160&mode=thread&cid=1236518 1/

    Are you saying we should all live like palestenians?

    I'm not saying that, but if you truly advocate equitable distribution of resources, once all of the US assets (currently owned by ~300M of us) are distributed to the ~6.5B people in the world, we'd be living in squalor, and those in the US currently described as 'poor' would comparatively look like kings. Doesn't this logically follow?

    Do you favor worldwide wealth redistribution? Really?

    Respectfully,
    Anomaly

    --
    But Herr Heisenberg, how does the electron know when I'm looking?
    1. Re:I *did* read your post by killjoe · · Score: 1

      "It seems to me that the logical extension of this is that the poor countries of the world should be expected to rise up to eliminate the rich ones. They certainly outnumber us."

      No that's not a logical extension. You just pulled that out of your ass so you could erect a straw man to argue against. You did this because you had no counter argument to what I was actually saying.

      Next time try to argue against my actual words OK?

      "Do you favor worldwide wealth redistribution? Really?"

      If I believed that then I would have said it. Since I didn't say it then you can safely assume I don't believe it.

      --
      evil is as evil does
  77. Re:It's not legal - sure it is by jpenix · · Score: 1

    This software was developed in phases under several different contracts/agreements supported by several different contracting companies.

    In general, contractors can retain the commercial rights to the software and the gov't gets a government use license (which includes providing it to other gov't contractors to be modified).

    In this case, since no single organization owned the code, we asked the orgs to waive their rights to we could open source it and everyone would have access to it.

    The NOSA is OSI approved. And the lawyers here are pretty detail oriented.

    jp

    --
    -jp
  78. Straw man by anomaly · · Score: 1

    So then you're suggesting that the wealth in this country be taken from those who have it and be given to those who don't for the express purpose of avoiding a revolutionary uprising of the poor against the wealthy?

    I have no counter argument? Now who is failing to read prior postings?

    --
    But Herr Heisenberg, how does the electron know when I'm looking?
    1. Re:Straw man by killjoe · · Score: 1

      "So then you're suggesting that the wealth in this country be taken from those who have it and be given to those who don't for the express purpose of avoiding a revolutionary uprising of the poor against the wealthy?"

      Precisely. He have hundreds of years of historical evidence that countries that do not do this end up with violent revolutions.

      The Rich know this too which is why they don't by and large object to high taxes.

      Then again the rich make out pretty well, even though the top 5% control 95% of the wealth but pay less then 50% of the taxes.

      Nice ride for them, sucks for you.

      --
      evil is as evil does
  79. A couple of points here by anomaly · · Score: 1

    end up with violent revolutions.

    The 'poor' here are extremely unlikely to revolt until the tide rises for the third world. The US is the best place in the world to live in terms of opportunity and resources. They poor won't revolt until they have no hope. Some Americans have little or no hope for their future, but not many.

    the top 5% control 95% of the wealth but pay less then 50% of the taxes

    I guess it depends where you get your facts. The treasury dept says

    "In 2002 the latest year of available data, the top 5 percent of taxpayers paid more than one-half (53.8 percent) of all individual income taxes, but reported roughly one-third (30.6 percent) of income."
    Sounds pretty nuts to me. Why should the rich bother?
    Speaking of the top 50% of wage earners in the country, the report continues:
    "In 2000, 2001, and 2002, this group paid over 96 percent of the total."

    96% of taxes are paid by the top 50% of wage earners!

    Why should you penalize those who work hard by taking what they have earned?

    Apparently earning less than $130K is enough to qualify someone as being in the top 5% of wage earners. Is $130K/year 'rich?'

    FWIW - I'd bet that most people who earn that much are in debt more than those who earn less - even after adjusted as a percentage of AGI.

    I grew up 'poor' by US standards. I got my first job at age 9 (paper route) and worked continuously until today. I worked my way through college, and have carefully chosen to budget my resources so that I have very little debt. I choose to drive used cars, live in a conservative home, and I save money.

    I don't earn that much, but proably will in my lifetime. Will I deserve to have my assets taken once I hit that level?

    I suppose if you want to live in a world of 'us' and 'them' then thinking in terms of income redistribution is a great idea, until you become 'them.'

    I'm reminded of a friend who worked as a union laborer for a grocery chain to pay his way through college. He definitely had an 'us' and 'them' mentality. I tried to explain that by becoming college educated, and seeking a professional job, he BECAME one of THEM. I don't think he understood that at the time.

    I'm also reminded of the man I met who was a time/motion study expert representing a union of upholsterers. He genuinely believed that the manufacturer set the price of the goods independently of the manufacturing costs, and regardless of the rest of the market! Wow.

    Income redistribution is a scam to make people who have little feel worse about themselves by thinking that the only way to achieve is to 'stick it to the man' and take from him.

    I live in a world where opportunity stretches before me - where achievement is related to the disciplined application of my gifts and talents.

    I started out as one of 'us' and through hard work, discipline, and good choices have become one of 'them.' You can too.

    If you want to live in a world where the boots of 'the man' are on your neck, go ahead. Seems a shame to me, but it's your life...

    Respectfully,
    Anomaly

    --
    But Herr Heisenberg, how does the electron know when I'm looking?
    1. Re:A couple of points here by killjoe · · Score: 1

      You are confusing salary with wealth. Steve Jobs for example makes $1.00 per year, Bill Gates officially makes about 800K per year. Many of the billionaires in the US have zero income because they don't work and yet they have enourmous amounts of wealth.

      "Why should you penalize those who work hard by taking what they have earned?"

      Sounds like a fantastic argument for doing away with taxation. Oooops, sorry it seems like we have to tax people who work hard so we can get our streets plowed, schools for our kids and stealth fighters so we can launch missiles at arabs.

      " don't earn that much, but proably will in my lifetime. Will I deserve to have my assets taken once I hit that level?"

      Yes!. If we want to be fair you should. The people who control the most wealth should pay most of the taxes. It's perfectly fair.

      "Apparently earning less than $130K is enough to qualify someone as being in the top 5% of wage earners. Is $130K/year 'rich?'"

      Easy. All you have to is to break the population into percentile groups. You don't have to go super fine resolution maybe somewhat geometric pattern like this 1,2,3,4,5,10,25,50,75. Take each group, calculate how much of the wealth they control and adjust the tax rates so that they pay the same percent of the total tax load. It's math but not rocket science. I think you will find somebody who pays 130K won't complain too much over how much tax they pay under my system, for them it may even be a tax cut. For example the tenth richest person in America is Steve Ballmer and he is worth 11 billion dollars. He probably is still in the top 1%. So you see the vast majority of taxes would be paid by the super-duper rich who control the vast majority of wealth.

      Your friend who makes 130K probably has no real wealth anyway. He probably owns a nice house, maybe a nice car, and probably has two to five hundred thousand dollars in various investments and 401Ks and such. Over all his total net worth is probably right around a million. That's nothing.

      "Income redistribution is a scam to make people who have little feel worse about themselves by thinking that the only way to achieve is to 'stick it to the man' and take from him."

      Income redistribution prevents violent revolutions. It's a good thing.

      Just read some history OK? It wasn't that long ago when there was virtually no income redistribution in the world. There are lots of places in the world today where there is no income redistribution too. Iraq was one place, but we are making sure there is now socialized medicine, socialized education, govt control of natural resources and robust welfare class.

      "If you want to live in a world where the boots of 'the man' are on your neck, go ahead. Seems a shame to me, but it's your life..."

      I hate to break it to you but you already live in that world.

      --
      evil is as evil does
  80. Re:It's not legal - sure it is by DrZZ · · Score: 1

    Thanks for the explanation. I figured it had to be something like that. It can be a pain, however, if you are the government employee and you want to jump in and code. In our case ~2/3 of the code is written by government employees and so we just get the contractors to waive and call the whole thing public domain.