|
| ||||
|---|---|---|---|---|---|
| 2008-07-01 | Posted By: Todd Wallentine Projects Server Migration Scheduled - July 7, 2008 On Monday (July 7) we are migrating to the new server. This will mean that the server will be unavailable for a period of time as the migration happens. We hope that it will only be for the morning (8am-1p Central Time) but it might last longer if we run into unexpected issues. So plan on the machine not being available for several hours on Monday but ready for use on Tuesday. And we hope the new machine will provide a much better level of service as well as a lot of fun new features.  Discussions |
||||
| 2008-06-23 | Posted By: Todd Wallentine Unexpected Outage This Weekend We are sorry that the projects machine was unavailable this weekend. We were unaware of the scheduled maintenance to the power supply for our building (Nichols Hall). So all of our servers were unavailable. Sorry for the inconvenience and we hope that we can provide notice before the next outage. Discussions |
||||
| 2008-06-19 | Posted By: Todd Wallentine Migration Update It appears that we are getting close to migrating to our new project management server (new hardware and new software). The new server will be running on a dual processor AMD Opteron 248 with 12G of RAM. The new software will be the commercial version of GForge provided by the GForge Group. We are doing some testing this week to make sure everything is ready to go. When we are confident that it is ready we will provide notice of the schedule (hopefully giving a weeks notice). The day we perform the migration both the old and new server will be unavailable until the migration is complete. If there are any questions or concerns please contact me (Todd Wallentine - tcw AT ksu edu or Seth Galitzer - sgsax AT ksu edu). Discussions |
||||
| 2008-06-12 | Posted By: Todd Wallentine Power Outage From Storm Last nights tornado here in Manhattan, KS caused power outages on K-State's campus. Fortunately, the outage in Nichols Hall only lasted until early this morning. I was able to reboot the projects machine around 10am this morning and everything seems back to normal. Please let me know if there are any problems that arise. The CIS department and the SAnToS Lab were very fortunate to not sustain damage (other than the power outage). Some colleges, departments, and units on campus were not as lucky. Discussions |
||||
| 2008-04-24 | Posted By: Todd Wallentine Network Outage Planned - 25-26 April 2008 The main K-State campus network will be serviced this weekend so there might be issues reaching this site as well as the other SAnToS websites. The outages will be starting Friday April 25th at 10p (our time) and finishing by Saturday April 26th at 10p. We hope that the connection loss will not be very severe and that it won't hamper our work. Sorry for the loss of service and the short lead time. Discussions |
||||
| 2008-04-24 | Posted By: Todd Wallentine Service Outage on April 18 2008 Last Friday (April 18) this site as well as the other SAnToS websites were unavailable for a better part of the morning. Our building (Nichols Hall), and other parts of Manhattan, experienced a power outage early that morning (around 5a). That outage ran long enough that servers shut-down after the batteries in our UPS ran out. And to make matters worse, the A/C in the server room got into a funk so even when we had power back, we couldn't restart machines. Sorry about the loss of service - wish it could have been avoided. Discussions |
||||
| 2008-01-19 | Posted By: Todd Wallentine Site Upgrade Status During testing for the new project management site we ran into some issues that must be resolved before going live. So far, we have been impressed with the new software (GForge AS). We are hoping the patches for the issues will be complete in the next week. Once we get the server patched we will do one more round of testing and then finalize the schedule to move over. At that point, we will make an announcement here (as well as to the santos-announce mailing list and to some select collaborators). So if you want to be notified, subscribe to the RSS feed (http://projects.cis.ksu.edu/plugin/rssfeed/?group_id=16) or subscribe to the santos-announce mailing list. Discussions |
||||
| 2008-01-11 | Posted By: Todd Wallentine Site Upgrade Coming Soon In the next few weeks we will be upgrading the project management server from our current version of GForge (3.21) to the new commercial version, GForge AS. We will also be upgrading the hardware at the same time. We hope the downtime for the change will be minor. We will post another news item when the schedule is finalized so all our users will know when to expect the interruption. Discussions |
||||
| 2007-08-13 | Posted By: Todd Wallentine More Site Downtime Over the last month there have been several network upgrades that CTS (the central network service on campus) have done. These upgrades have effected the availablility of our project management server and our websites. Tonight, they are expecting another outage starting at 11pm (central) and will last 2-5 minutes. I am guessing most user will not see any sign of this downtime but wanted to make everyone aware that this is planned. Discussions |
||||
| 2007-07-26 | Posted By: Todd Wallentine Site Downtime - Aug 3-5 2007 K-State's network will be down during the weekend of August 4 which will mean that the projects server will be unreachable during that period. The exact time (as announced) will be starting at 8pm August 3 through 11:59p August 5. For more information on this outage see: http://www.k-state.edu/infotech/status/ thanks, SAnToS Lab Discussions |
||||
| 2007-05-08 | Posted By: Todd Wallentine SAnToS Welcomes a New Member The SAnToS lab is proud to announce the addition of a new undergraduate student to our staff. Sam Procter, an undergraduate from UNL on loan to us for the summer, will be working on testing topics related to our work with Lockheed Martin in conjuction with UNL. This will likely involve the Kiasan, Indus, SIR, and Sofia projects. Sam is currently a junior in computer science and part of the JD Edwards Honors Program. We are very excited about him spending the summer with us and contributing to our work. Discussions |
||||
| 2007-04-17 | Posted By: Todd Wallentine Dr. Robby Receives NSF CAREER Award On April 12, 2007 Dr. Robby, a member of the SAnToS Lab at K-State, was notified that he was awarded the prestigious NSF CAREER Award (CCF-0644288) for a total amount of $400,000. The title of this award is "A Formal, Integrated Analysis Framework for Contract-based Reasoning of Strong Properties of Open Systems" and will work on integrating and extending the work that current exists in the lab (Bogor and Kiasan especially). For more on this award please see the NSF Award site: http://www.nsf.gov/awardsearch/showAward.do?AwardNumber=0644288 For more on Bogor and Kiasan: http://bogor.projects.cis.ksu.edu/ For more on Dr. Robby: http://www.cis.ksu.edu/~robby/ And for more on the SAnToS lab: http://www.cis.ksu.edu/santos/ Discussions |
||||
| 2007-02-02 | Posted By: Todd Wallentine Upgrading our Project Management Server Over the next couple of months you may notice some downtime and some changes to the labs project management server and the project websites. We are currently in the process of upgrading both the hardware and the software for the server. We are currently running an older version of GForge (http://gforge.com) that has several local "fixes" applied. It has not gone through a major upgrade in way to long (we do upgrade the OS on a regular basis) and it is starting to show its age. Because of this, we are doing several things. First, we are putting it on upgraded hardware. The current hardware is an old workstation that has seen its better days (it is over 6 years old, Intel Pentium III 550Mhz with 512M of RAM). The new hardware is a dual Opteron 248 with 12G of RAM. We hope this will be more than enough power to support our needs for the next couple of years. Second, we are upgrading the software that is running the site. At this point we are leaning towards the commercial version of GForge that is offered by the GForge Group (http://gforgegroup.com). We felt like the support and the IDE plugins they offer make it a good deal. Last, we will be transferring the responsibility for the server to the department system administrators. This is a group of knowledgable admins that will likely do a much better job of keeping the site up and up-to-date than we (Matt, Jesse, and Todd) have done in the past. So, this is just a warning that you might notice a change in look-n-feel as well as performance once we make the switch. And there might be some downtime when we make the switch (I am hoping it won't be more than an hour of real downtime when this happens). Discussions |
||||
| 2007-01-29 | Posted By: Todd Wallentine SAnToS Welcomes 3 New Members The SAnToS Laboratory is proud to announce the addition of 3 new members to our roster. Ashish Panday, Matthias Neiderhausen, and John Homer are all new members of the SAnToS graduate student team. These new members should make a quick, positive impact on the group. We would also like to congratulate Andrew King on his acceptance into the Master of Science program in the Computing and Information Sciences department. He will be transitioning from a full-time developer in our lab to a part-time developer and full-time graduate student. http://www.cis.ksu.edu/~maze/ http://www.cis.ksu.edu/~jhomer/ Discussions |
||||
| 2006-07-21 | Posted By: Todd Wallentine KSU Robot Wins The SAnToS Lab would like to congratulate the KSU Robot team for winning the scavenger hunt competition at the American Association for Artificial Intelligence. They took their robot, Willie, and successfully found all of the objects and even provided a map of their locations upon completion. There is even a write-up at wired.com on this conference and competition: http://www.wired.com/news/technology/0,71425-0.html?tw=wn_technology_7 So, way to go Andrew, Michael, Aaron, and Joseph! Discussions |
||||
| 2006-05-23 | Posted By: Todd Wallentine SAnToS Welcomes 5 New Members The SAnToS Laboratory is proud to announce 5 new members to the lab. We have gone through a round of hiring in which we found 5 very good people to help bring the vision of the lab closer to reality. So we welcome Beth Kaufmann, Joseph Lancaster, Tom Kugler, Megan Enns, and Andrew King to the lab. We hired Beth Kaufmann as a graphic designer to help us create attractive websites and promotional materials. She is currently an undergraduate student majoring in Graphic Design and Advertising. We hired Joseph Lancaster as a programmer to help us do a large number of things but will start with a focus on helping get Cadena 2.0 ready for a public release. He just completed his BS in Computer Science and will be working towards an MS in Computer Science starting in the fall. http://www.cis.ksu.edu/~josephl/ We hired Tom Kugler as a programmer to help us do a large number of things but will start with a focus on helping get Cadena 2.0 ready for a public release. He is currently an undergraduate in our department working towards a BS in Information Systems. We hired Megan Enns as a programmer to help us do a large number of things but will likely work with our security group (Torben Amtoft, Anindya Banerjee, and Edwin RodrÃguez). She will not be joining us until August since she has an internship where she will be learning about the practical side of security through the United States Air Force. She is currently an undergraduate in our department working towards her BS in Computer Science and is a member of the AFROTC program. We hired Andrew King as a research assistant to help adapt Bogor to handle C# and to interact with our collaborators at Lockheed Martin. He will also be involved in the management of the lab (aka, other duties as assigned). He is a recent graduate of our department with his BS in Computer Science and has been working for us as a student programmer during the spring 2006 semester. He has also worked for others in the department including Dan Andresen and Bill Hsu. We are very happy with the results of this round of hiring and look forward to all the great work that our new people will do as well as what their assistance will help us acheive. Discussions |
||||
| 2006-05-05 | Posted By: Todd Wallentine SAnToS Receives Grant from AFOSR SAnToS Lab researchers (John Hatcliff, Torben Amtoft and Anindya Banerjee) have received a grant of $448,530 for April 2006 - March 2009 from the Air Force Office of Scientific Research (AFOSR) to fund the research proposal titled "An Integrated Specification and Verification Environment for Component-based Architectures of Large-scale Distributed Systems". This work will leverage existing work on the Cadena integrated development environment and our past experience in the DARPA PCES program. This grant will allow us to address challenges of constructing large-scale DoD software-intensive systems by constructing an integrated modeling and specification framework that can support software product-line development based on widely-used component middleware frameworks that will likely form the basis of future DoD systems. Our approach centers around three innovations: 1) A powerful and flexible architecture modeling framework, 2) A componsitional specification and verification framework, and 3) An integrated model-level and code-level development environment. AFOSR manages the entire basic research investment for the U.S. Air Force (USAF). As part of the Air Force Research Laboratory (AFRL), AFOSR's technical experts foster support and fund research within the AFRL, universities, and industry laboratories to ensure the transition of research results to support USAF needs. Discussions |
||||
| 2006-05-03 | Posted By: Todd Wallentine The SAnToS Laboratory is hiring The SAnToS Laboratory is currently in search of several good people to help us develop, extend, and expand upon on our foundation of tools which includes the Bogor model-checking framework and the Cadena development environment. Positions include a full-time Research Assistant, a couple of student programmers, a student web developer and a student graphic designer. If you are interested in a challenging, exciting environment please take a look at our job descriptions. We hope to find the right people that can help us make a difference. http://www.cis.ksu.edu/santos/jobs.php Discussions |
||||
| 2006-04-13 | Posted By: Todd Wallentine Visitors from Lockheed Martin (ATL) We were recently visited by two collaborators from Lockheed Martin (ATL), Daniel Waddington and Greg Rogers. Lockheed Martin ATL is funding SAnToS as part of Lockheed's Software Technology Initiative (STI) aimed identifying and maturing innovative software development technologies of interest to Lockheed Martin and their customers. Our meetings were very productive and gave us an opportunity to show a number of analysis, verification, and modeling tools developed by SAnToS. We also had the opportunity to get a better understanding of the goals and plans for STI and how our work will contribute to that effort. Most of the conversations centered around Cadena and Bogor (with some conversations about the Bandera, BogorVM, and Bogor symbolic execution projects). So we would like to extend a big thanks to Daniel and Greg for coming and enduring the train noise (inside joke). We hope you enjoyed your time in Kansas and hope you return soon. Discussions |
||||
| 2006-04-13 | Posted By: Todd Wallentine SAnToS joins Lockheed Martin researchers in STI SAnToS Lab researchers (Hatcliff, PI) have received a grant of $100,000 for 2006 from Lockheed Martin Advanced Technology Labs (Cherry Hill, N.J.) to fund technology transfer efforts associated with applying SAnToS's Cadena model-driven development framework for the development of large-scale distributed command-and-control systems. This effort is part of Lockheed's internally-funded Software Technology Initiative. The STI effort aims to develop solutions to quickly integrate large-scale, distributed systems of newly developed, legacy and commercial-off-the-shelf (COTS) software. As the military services shift from platform- to network-centric systems â from independently operating planes, ships and missiles to increasingly complex and diverse computing infrastructures â it is often necessary to integrate stovepiped systems built over many decades. Industry is addressing the resulting integration challenge with COTS software and other techniques intended to reduce costs, improve time to market and accommodate subsequent technology shifts. However, effective integration remains a very difficult challenge, affecting system availability, interoperability, cost and time. The STI will host some of the most talented engineers from Lockheed Martin, from other companies and from top-ranked universities to develop, integrate and test a broad range of advanced, integrated software solutions. Lockheed Martin's Integrated Systems & Solutions business area is the initial program customer and sponsor of the initiative. According to Lockheed Martin ATL Director James Marsh, the STI will eventually embrace a broader customer base. âAs we become established, we intend to support major programs in Lockheed Martinâs Electronic Systems, Space Systems, Aeronautics, and Information & Technology Services business areas,â he said. âWe then expect to expand to serve an external customer set, including the Department of Defense, National Institute of Standards & Technology, and National Aeronautics and Space Administration.â Discussions |
||||
| 2005-06-24 | Posted By: Todd Wallentine Dr. Joseph Kiniry Visits the SAnToS Lab We were visited by Dr. Joseph Kiniry (of the KindSoftware research group in the Department of Computer Science at University College Dublin) on Thursday, 24 June 2005. Dr. Kiniry's work emphasizes blending of software engineering with applied formal methods. He helps lead a number of research efforts, including development of the well-known ESC/Java II tool for static checking of Java programs using light-weight theorem-proving techniques. Dr. Kiniry gave an excellent lecture on the internal logic representations in ESC/Java II. We were able to have several great discussions on possible collaborations between Dr. Kiniry and SAnToS including work on JMLEclipse, Bogor, Cadena, and Indus SAnToS tools. Discussions |
||||
| 2005-03-15 | Posted By: Todd Wallentine New Website The SAnToS groups has gone through a website transformation ... what was once an ugly catepillar is now a beautiful butterfly. And a special thanks to Ryan and Ben for the hard work on this. Especially their patience in dealing with a bunch of people that don't speak your language or have an eye for good style. Discussions |
||||
| 2004-05-24 | Posted By: Todd Wallentine New Members of the SAnToS Lab We would like to announce two new members of the SAnToS Lab: Jan Miksatko is a graduate student that will be doing research and development for the Bandera project. Ryan Dunn is an undergraduate student that will be doing web development. Discussions |
||||
